Output Guards and Nondeterminism in “Communicating Sequential Processes”
- 1 April 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 2 (2), 234-238
- https://doi.org/10.1145/357094.357101
Abstract
In a recent paper C.A.R. Hoare outlined a language for concurrent programming. Guarded commands and nondeterminism are two features of the language. This paper points out two problems that arise in connection with these features and addresses one of them.Keywords
This publication has 3 references indexed in Scilit:
- Comments on “Communicating Sequential Processes”ACM Transactions on Programming Languages and Systems, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975