Distributed Termination Detection with Sticky State Indicators 

Technical Report 200/90, Department of Computer Science, University of 
Kaiserslautern, Germany, 1990 

Distributed termination detection is a "prototype problem" of the theory of 
distributed computing which has gained considerable interest in recent years. 
It is closely related to other important problems such as deadlock detection, 
garbage collection, and snapshot computation. The main purpose of this short 
note is not to introduce yet another distributed termination detection 
algorithm, but to demonstrate that straightforward solutions to the problem 
can be based on simple ideas with informal and intuitive (but yet correct) 
proofs.