1. Correctness proofs of distributed termination algorithms;Apt;ACM Trans. Programming Languages and Systems,1986
2. Verteilte Terminierung—ein wesentlicher Aspekt der Kontrolle in verteilten Systemen;Beilken,1985
3. Algorithms for on-the-fly garbage collection;Ben-Ari;ACM Trans. Programming Languages and Systems,1984
4. A paradigm for detecting quiescence properties in distributed computations;Chandy,1985
5. S. Cohen, Multi-processor ON-THE-FLY garbage collection, Technical Report, Computer Science Department, Hebrew University of Jerusalem, Isarael.