Output Guards and Nondeterminism in “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
The Science of Programming
Parallel Computers Two: Architecture, Programming and Algorithms
Parallel Computers Two: Architecture, Programming and Algorithms
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
The design and analysis of algorithms and data structures for the efficient solution of graph theoretic problems on mimd computers
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using raddle to design distributed systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Vanna: a visual environment for the design of distributed systems
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Design by decomposition of multiparty interactions in Raddle87
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
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
Fairness and hyperfairness in multi-party interactions
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Protocol for Multirendezvous of LOTOS Processes
IEEE Transactions on Computers - Special issue on protocol engineering
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient fault-tolerant algorithms for distributed resource allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
A distributed object-oriented framework for dependable multiparty interactions
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Specification and Validation of Control-Intensive IC's in hopCP
IEEE Transactions on Software Engineering
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Simulation based deadlock analysis for system level designs
Proceedings of the 42nd annual Design Automation Conference
Some impossibility results in interprocess synchronization
Distributed Computing
Fairness and hyperfairness in multi-party interactions
Distributed Computing
An SR approach to multiway rendezvous
Computer Languages
Practical exception handling and resolution in concurrent programs
Computer Languages
Designing a multiway synchronization protocol
Computer Communications
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
Hi-index | 0.00 |
The multiway rendezvous is a natural generalization of the rendezvous in which more than two processes may participate. The utility of the multiway rendezvous is illustrated by solutions to a variety of problems. To make their simplicity apparent, these solutions are written using a construct tailor-made to support the multiway rendezvous. The degree of support for multiway rendezvous applications by several well-known languages that support the two-way rendezvous is examined. Since such support for the multiway rendezvous is found to be inadequate, well-integrated extensions to these languages are considered that would help provide such support.