Termination detection for diffusing computations
From MaRDI portal
Publication:1142590
DOI10.1016/0020-0190(80)90021-6zbMath0439.68039OpenAlexW2013173096WikidataQ29391507 ScholiaQ29391507MaRDI QIDQ1142590
Publication date: 1980
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(80)90021-6
networksdistributed controlconcurrencytermination detectionactivation treecorrectness provingdiffusing computationsmessage-based systems
Related Items (43)
Distributed termination on a ring ⋮ Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Unnamed Item ⋮ On the algebraic theory of loop free routing ⋮ A principle for sequential reasoning about distributed algorithms ⋮ An efficient distributed bridge-finding algorithm ⋮ A distributed algorithm for distributed termination ⋮ A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols ⋮ A METHOD OF TERMINATING ASYNCHRONOUS ITERATIVE ALGORITHMS ON MESSAGE PASSING SYSTEMS ⋮ A fully distributed termination detection scheme ⋮ Dual coordinate step methods for linear network flow problems ⋮ Ring based termination detection algorithm for distributed computations ⋮ A loop-free shortest-path routing algorithm for dynamic networks ⋮ Shortest, Fastest, and Foremost Broadcast in Dynamic Networks ⋮ A framework for automated distributed implementation of component-based models ⋮ Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks ⋮ On termination detection in crash-prone distributed systems with failure detectors ⋮ Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms ⋮ Unifying stabilization and termination in message-passing systems ⋮ The doomsday distributed termination detection protocol ⋮ A family of optimal termination detection algorithms ⋮ Unicorn: parallel adaptive finite element simulation of turbulent flow and fluid-structure interaction for deforming domains and complex geometry ⋮ Efficient detection of a class of stable properties ⋮ Strong stable properties in distributed systems ⋮ Action systems in incremental and aspect-oriented modeling ⋮ Distributed processing of graphs: Fundamental cycles algorithm ⋮ Operational specification with joint actions: Serializable databases ⋮ Simulating asynchronous hardware on multiprocessor platforms: the case of AMULET1 ⋮ Calculs approchés de la borne inférieure de valeurs réparties ⋮ Extending the DEVS formalism for massively parallel simulation ⋮ Unnamed Item ⋮ On the Internet routing protocol Enhanced Interior Gateway Routing Protocol: is it optimal? ⋮ Safe termination detection in an asynchronous distributed system when processes may crash and recover ⋮ On the memory overhead of distributed snapshots ⋮ A parallel algorithm for finding a blocking flow in an acyclic network ⋮ The distributed simulation of clustered processes ⋮ An efficient parallel termination detection algorithm ⋮ Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP ⋮ Pseudosimulation: an algorithm for distributed simulation with limited memory ⋮ A distributed solution of the distributed termination problem ⋮ Consistency verification in transaction-based optimistic steering of distributed computations ⋮ Some aspects of parallel and distributed iterative algorithms - a survey ⋮ On distributed search
This page was built for publication: Termination detection for diffusing computations
