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


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
Number of pages6
ISBN (Electronic)978-3-642-82921-5
ISBN (Print)978-3-540-17082-2
Publication statusPublished - 1985

Publication series

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


Dive into the research topics of 'Derivation of a termination detection algorithm for distributed computations'. Together they form a unique fingerprint.

Cite this