A Theory of Communicating Sequential Processes
- 26 June 1984
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 31 (3) , 560-599
- https://doi.org/10.1145/828.833
Abstract
A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved. The possibilities of nondetermimsm are fully taken into account.Keywords
This publication has 3 references indexed in Scilit:
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Data Types as LatticesSIAM Journal on Computing, 1976