Derivation of a termination detection algorithm for distributed computations

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageEnglish
Title of host publicationControl flow and data flow
Subtitle of host publicationconcepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984)
EditorsM. Broy
Place of PublicationBerlin
PublisherSpringer
Chapter13
Pages507-512
Number of pages6
ISBN (Electronic)978-3-642-82921-5
ISBN (Print)978-3-540-17082-2
DOIs
Publication statusPublished - 1985

Publication series

NameNATO ASI Series, Series F: Computer and Systems Sciences
Volume14
ISSN (Print)1387-6694

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). Berlin: 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 proceedingConference contributionAcademicpeer-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). https://doi.org/10.1007/978-3-642-82921-5_13