Decomposition of Distributed Programs into Communication-Closed Layers
@article{Elrad1982DecompositionOD,
title={Decomposition of Distributed Programs into Communication-Closed Layers},
author={T. Elrad and N. Francez},
journal={Sci. Comput. Program.},
year={1982},
volume={2},
pages={155-173}
}Abstract The safe decomposition of a distributed program into communication closed layers is suggested as a superstructure of its decomposition into a collection of communicating processes. This decomposition may simplify the analysis of a distributed program, as is exemplified by examples of program verification. A programming language construct to enforce safety of a decomposition is introduced. The application to systematic construction of distributed programs is also shown.
Topics from this paper
221 Citations
Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto
- Computer Science
- 2018
- Highly Influenced
- PDF
Script: A Communication Abstraction Mechanism and its Verification
- Computer Science
- Logics and Models of Concurrent Systems
- 1984
- 32
Layers as Knowledge Transitions in the Design of Distributed Systems
- Computer Science
- TACAS
- 1995
- 9
- Highly Influenced
- PDF
Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs
- Computer Science
- Sci. Comput. Program.
- 1985
- 6
- Highly Influenced
- PDF
Abstract data groups: structuring distributed programs as layers
- Computer Science
- Proceedings of the 1992 International Conference on Computer Languages
- 1992
From sequential layers to distributed processes: deriving a distributed minimum weight spanning tree algorithm
- Computer Science
- PODC '92
- 1992
- 28
- PDF
References
SHOWING 1-10 OF 10 REFERENCES
Formal Justification of a Proof System for Communicating Sequential Processes
- Computer Science
- JACM
- 1983
- 68
- PDF
A linear history semantics for distributed languages extended abstract
- Computer Science
- 21st Annual Symposium on Foundations of Computer Science (sfcs 1980)
- 1980
- 13
Semantics of Nondeterminism, Concurrency, and Communication
- Computer Science
- J. Comput. Syst. Sci.
- 1979
- 98
- PDF
A Weakest Precondition Semantics for Communicating Processes
- Computer Science
- Theor. Comput. Sci.
- 1984
- 10