Communicating sequential processes
Communications of the ACM
Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
High level specification of concurrency control in distributed database systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Synchronization of asynchronous processes in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
An overview of the GCP programming language
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Output Guards and Nondeterminism in “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
Testing incomplete specifications of distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
In his recent paper, “Communicating Sequential Processes” (Comm. ACM 21, 8 (Aug. 1978), 666-677), C.A.R. Hoare outlines a programming language notation for interprocess communication in which processes are synchronized by the messages they exchange. The notation carries with it certain implications for the synchronization protocols required in a message transfer. These are not at all obvious and are made explicit here. An alternative convention is suggested in which communication and synchronization are partially uncoupled from one another.