Nissim Francez, Shaula A. Yemini
ACM Transactions on Programming Languages and Systems (TOPLAS)
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. © 1982.
Nissim Francez, Shaula A. Yemini
ACM Transactions on Programming Languages and Systems (TOPLAS)
Christos N. Nikolaou, Nissim Francez, et al.
SIGCOMM 1983
Tzilla Elrad, Nissim Francez
Theoretical Computer Science
Sara Porat, Nissim Francez, et al.
Information and Control