Implementation of CSP-S for description of distributed algorithms
- 31 December 1984
- journal article
- Published by Elsevier in Computer Languages
- Vol. 9 (3-4) , 193-202
- https://doi.org/10.1016/0096-0551(84)90005-5
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A communicating sequential process language and implementationSoftware: Practice and Experience, 1981
- Comments on “Communicating Sequential Processes”ACM Transactions on Programming Languages and Systems, 1979
- High level programming for distributed computingCommunications of the ACM, 1979
- Distributed processesCommunications of the ACM, 1978
- 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