Achieving Distributed Termination without Freezing
Nissim Francez, Michael Rodeh · IEEE Transactions on Software Engineering · 1982
An efficient algorithm for achieving distributed termination without introducing new communicaton channels and without delaying the basic computations ("freezing") is presented. The algorithm is related to the methodology of designing distributed programs where the programmer is relieved from the problem of distributed termination. An informal correctness proof and complexity analysis are included.