Derivation of a termination detection algorithm for distributed computations

Autor:	W.H.J. Feijen, Edsger W. Dijkstra, A.J.M. van Gasteren
Přispěvatelé:	Mathematics and Computer Science, Algorithms, Geometry and Applications
Jazyk:	angličtina
Rok vydání:	1983
Předmět:	Distributed algorithm Computer science Computation Signal Processing Program derivation Algorithm Computer Science::Databases Computer Science Applications Information Systems Theoretical Computer Science
Zdroj:	Information Processing Letters, 16(5), 217-219. Elsevier
ISSN:	0020-0190
DOI:	10.1016/0020-0190(83)90092-3
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ff7b24c734068a03bd99457877c6867 https://doi.org/10.1016/0020-0190(83)90092-3 Zobrazit plný text záznamu