Derivation of a termination detection algorithm for distributed computations

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

doi:10.1007/978-3-642-82921-5_13

Derivation of a termination detection algorithm for distributed computations

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

Software Engineering and Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

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.

Original language	English
Title of host publication	Control flow and data flow
Subtitle of host publication	concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984)
Editors	M. Broy
Place of Publication	Berlin
Publisher	Springer
Chapter	13
Pages	507-512
Number of pages	6
ISBN (Electronic)	978-3-642-82921-5
ISBN (Print)	978-3-540-17082-2
DOIs	https://doi.org/10.1007/978-3-642-82921-5_13
Publication status	Published - 1985

Publication series

Name	NATO ASI Series, Series F: Computer and Systems Sciences
Volume	14
ISSN (Print)	1387-6694

Access to Document

10.1007/978-3-642-82921-5_13

Cite this

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 (Ed.), Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984) (pp. 507-512). (NATO ASI Series, Series F: Computer and Systems Sciences; Vol. 14). Springer. https://doi.org/10.1007/978-3-642-82921-5_13

Dijkstra, E.W. ; Feijen, W.H.J. ; Gasteren, van, A.J.M. / Derivation of a termination detection algorithm for distributed computations. Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984). editor / M. Broy. Berlin : Springer, 1985. pp. 507-512 (NATO ASI Series, Series F: Computer and Systems Sciences).

@inproceedings{df6be027fbca4c85904cc4631d3bde26,

title = "Derivation of a termination detection algorithm for distributed computations",

abstract = "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.",

author = "E.W. Dijkstra and W.H.J. Feijen and {Gasteren, van}, A.J.M.",

year = "1985",

doi = "10.1007/978-3-642-82921-5_13",

language = "English",

isbn = "978-3-540-17082-2",

series = "NATO ASI Series, Series F: Computer and Systems Sciences",

publisher = "Springer",

pages = "507--512",

editor = "M. Broy",

booktitle = "Control flow and data flow",

address = "Germany",

}

Dijkstra, EW, Feijen, WHJ & Gasteren, van, AJM 1985, Derivation of a termination detection algorithm for distributed computations. in M Broy (ed.), Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984). NATO ASI Series, Series F: Computer and Systems Sciences, vol. 14, Springer, Berlin, pp. 507-512. https://doi.org/10.1007/978-3-642-82921-5_13

Derivation of a termination detection algorithm for distributed computations. / Dijkstra, E.W.; Feijen, W.H.J.; Gasteren, van, A.J.M.
Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984). ed. / M. Broy. Berlin: Springer, 1985. p. 507-512 (NATO ASI Series, Series F: Computer and Systems Sciences; Vol. 14).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Derivation of a termination detection algorithm for distributed computations

AU - Dijkstra, E.W.

AU - Feijen, W.H.J.

AU - Gasteren, van, A.J.M.

PY - 1985

Y1 - 1985

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-82921-5_13

DO - 10.1007/978-3-642-82921-5_13

M3 - Conference contribution

SN - 978-3-540-17082-2

T3 - NATO ASI Series, Series F: Computer and Systems Sciences

SP - 507

EP - 512

BT - Control flow and data flow

A2 - Broy, M.

PB - Springer

CY - Berlin

ER -

Dijkstra EW, Feijen WHJ, Gasteren, van AJM. Derivation of a termination detection algorithm for distributed computations. In Broy M, editor, Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984). Berlin: Springer. 1985. p. 507-512. (NATO ASI Series, Series F: Computer and Systems Sciences). doi: 10.1007/978-3-642-82921-5_13

Derivation of a termination detection algorithm for distributed computations

Abstract

Publication series

Access to Document

Fingerprint

Cite this