1. Modelling the distributed termination convention of CSP;Apt;ACM TOPLAS,1984
2. On diffusing computations;Chandy,1980
3. Dynamic systems and their distributed termination;Cohen,1982
4. E.W. Dijkstra, In reaction to Ernest Chang's 'Deadlock Detection’, EWD 702, Burroughs Corp., Plataanstraat 5, 5671 AL Nuenen, The Netherlands.
5. Derivation of a termination detection algorithm for distributed computations;Dijkstra;Inform. Process. Lett.,1983