Derivation of a termination detection algorithm for distributed computations
E. Dijkstra, Van Gasteren, A.J., Feijen, W.H.J. · TU/e Research Portal · 1982
The purpose of this paper is twofold, viz. to present a new [0] algorithm for the detection of the termination of a distributed computation and to demonstrate how the algorithm can be derived in a number of steps.