Derivation of a termination detection algorithm for distributed computations

E.W. Dijkstra, W.H.J. Feijen, A.J.M. Gasteren, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.
Originele taal-2Engels
TitelControl flow and data flow
Subtitelconcepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984)
RedacteurenM. Broy
Plaats van productieBerlin
UitgeverijSpringer
Hoofdstuk13
Pagina's507-512
Aantal pagina's6
ISBN van elektronische versie978-3-642-82921-5
ISBN van geprinte versie978-3-540-17082-2
DOI's
StatusGepubliceerd - 1985

Publicatie series

NaamNATO ASI Series, Series F: Computer and Systems Sciences
Volume14
ISSN van geprinte versie1387-6694

Citeer dit

Dijkstra, E. W., Feijen, W. H. J., & Gasteren, van, A. J. M. (1985). Derivation of a termination detection algorithm for distributed computations. In M. Broy (editor), Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984) (blz. 507-512). (NATO ASI Series, Series F: Computer and Systems Sciences; Vol. 14). Berlin: Springer. https://doi.org/10.1007/978-3-642-82921-5_13