论文信息 - Derivation of a termination detection algorithm for distributed computations

Derivation of a termination detection algorithm for distributed computations

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.

W. H. J. Feijen | Edsger W. Dijkstra | A.J.M. van Gasteren

[1] Mohamed G. Gouda,et al. Distributed State Exploration for Protocol Validation , 1981 .

[2] Edsger W. Dijkstra,et al. Termination Detection for Diffusing Computations , 1980, Inf. Process. Lett..