A communicating sequential process language and implementation
- 1 November 1981
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 11 (11), 1215-1234
- https://doi.org/10.1002/spe.4380111105
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A comparison of two notations for process communicationLecture Notes in Computer Science, 1980
- High level programming for distributed computingCommunications of the ACM, 1979
- A heap-based implementation of the programming language PascalSoftware: Practice and Experience, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- MonitorsCommunications of the ACM, 1974