Derivation of a termination detection algorithm for distributed computations
From MaRDI portal
Publication:2216413
zbMath1451.68121MaRDI QIDQ2216413
W. H. J. Feijen, Edsger W. Dijkstra, A. J. M. van Gasteren
Publication date: 16 December 2020
Published in: Information Processing Letters (Search for Journal in Brave)
Related Items
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
