Decomposition of distributed programs into communication-closed layers
- 31 December 1982
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 2 (3), 155-173
- https://doi.org/10.1016/0167-6423(83)90013-8
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Extended naming conventions for communicating processesScience of Computer Programming, 1983
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- Synchronization in Distributed ProgramsACM Transactions on Programming Languages and Systems, 1982
- A proof technique for communicating sequential processesActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- A proof method for cyclic programsActa Informatica, 1978
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- ReductionCommunications of the ACM, 1975