Derivation of a termination detection algorithm for distributed computations

zbMath1451.68121MaRDI QIDQ2216413

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

Publication date: 16 December 2020

Published in: Information Processing Letters (Search for Journal in Brave)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (12)

Fine-grained concurrent completion ⋮ A distributed algorithm for distributed termination ⋮ On the proof of a distributed algorithm ⋮ A fully distributed termination detection scheme ⋮ Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms ⋮ Distributed termination detection with counters ⋮ Comments on ``On the proof of a distributed algorithm: Always-true is not invariant ⋮ Comments on Ring based termination detection algorithm for distributed computations ⋮ Synchronous, asynchronous, and causally ordered communication ⋮ Parallel adaptation of general three-dimensional hybrid meshes ⋮ Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP ⋮ An assertional proof of Rana's algorithm

This page was built for publication: Derivation of a termination detection algorithm for distributed computations