1. Apt KR, Richier J-L (1985) Real time clocks versus virtual clocks. In: Broy M (ed) Control flow and data flow: Concepts of distributed programming. Springer, Berlin Heidelberg New York, pp 475–501
2. Apt KR (1986) Correctness proofs of distributed termination algorithms. ACM Trans Program Lang Syst 8 (3):388–405
3. Arora RK, Sharma NK (1983) A methodology to solve distributed termination problem. Inf Syst 8 (1):37–39
4. Beilken C, Mattern F, Reinfrank M (1985) Verteilte Terminierung — ein wesentlicher Aspekt der Kontrolle in verteilten Systemen. Report SFB124-41/85, Department of Computer Science, University of Kaiserlautern, FRG
5. Bougé L (1985a) Symmetry and genericity for CSP in distributed systems. Report 85-32, LITP, Universite Paris 7, France