Gasteren, Derivation of a termination detection algorithm for distributed computations (1983)

by E W Dijkstra, W H J Feijen, A J M van
Venue:Inform. Process. Lett