A simple model of distributed programs based on implementation-hiding and process autonomy
- 1 July 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (7 and 8) , 26-35
- https://doi.org/10.1145/947680.947681
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Deadlock absence proofs for networks of communicating processesInformation Processing Letters, 1979
- Communicating sequential processesCommunications of the ACM, 1978