1. Distributed termination;Francez;ACM — TOPLAS,1980
2. Achieving distributed termination without freezing;Francez,1979
3. E.W. Dijkstra and C.S. Scholten, Termination detection for diffusing computation, EWD-687, Nuenen.
4. Distributed termination with interval assertions;Francez,1980
5. Termination detection of diffusing computations in communicating sequential processes;Chandy;ACM — TOPLAS,1982