An Effective Implementation for the Generalized Input-Output Construct of CSP
- 1 April 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 5 (2) , 223-235
- https://doi.org/10.1145/69624.357208
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Synchronization in Distributed ProgramsACM Transactions on Programming Languages and Systems, 1982
- Synchronous communication between asynchronous componentsInformation Processing Letters, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Output Guards and Nondeterminism in “Communicating Sequential Processes”ACM Transactions on Programming Languages and Systems, 1980
- Communication and Synchronization in Distributed SystemsIEEE Transactions on Software Engineering, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975