1. The Signing of a Contract - A Tree-structured Application Modelled with Petri Net Building Blocks;Baumgarten,1985
2. Analysis of Distributed Commit Protocols;Cooper,1982
3. Derivation of a Termination Detection Algorithm for Distributed Computations;Dijkstra;Inform. Process. Lett.,1983
4. What is a “Distributed” Data Processing System;Enslow;Computer,1978
5. Distributed Termination;Francez;ACM Trans. Prog. Lang. Systems,1980