Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Communicating sequential processes
Communicating sequential processes
Fairness
Script: a communication abstraction mechanism and its verification
Science of Computer Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new and efficient implementation of multiprocess synchronization
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
Communication and concurrency
Cooperating proofs for distributed programs with multiparty interactions
Information Processing Letters
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms
IEEE Transactions on Software Engineering
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
A distributed synchronization scheme for fair multi-process handshakes
Information Processing Letters
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
On the design and implementation of multiparty interaction
On the design and implementation of multiparty interaction
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interacting processes: a multiparty approach to coordinated distributed programming
Interacting processes: a multiparty approach to coordinated distributed programming
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A New Class of High Level Programs for Distributed Computing Systems
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
Programming in a General Model of Synchronization
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Multifaceted distributed systems specification using processes and event synchronization
ICSE '84 Proceedings of the 7th international conference on Software engineering
Some impossibility results in interprocess synchronization
Distributed Computing
Fairness and hyperfairness in multi-party interactions
Distributed Computing
Occam Programming Manual
On strong-feasibilities of equivalence-completions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Strong Interaction Fairness Via Randomization
IEEE Transactions on Parallel and Distributed Systems
A distributed object-oriented framework for dependable multiparty interactions
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A multiparty coordination aspect language
ACM SIGPLAN Notices
Advances in exception handling techniques
Localizability of Fairness Constraints and Their Distributed Implementations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Events as atomic contracts for component integration
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Implicit heterogeneous and parallel programming
ACM SIGSOFT Software Engineering Notes
High-level heterogeneous distributed parallel programming
ISICT '04 Proceedings of the 2004 international symposium on Information and communication technologies
Data & Knowledge Engineering
Accelerating multi-party scheduling for transaction-level modeling
Proceedings of the 19th ACM Great Lakes symposium on VLSI
A formal specification-based approach to distributed parallel programming
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
On the design and implementation of parallel programs through coordination
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Hi-index | 0.00 |