Unifying stabilization and termination in message-passing systems

DOI10.1007/S00446-004-0111-6zbMath1264.68023OpenAlexW2067871031MaRDI QIDQ1953246

Anish Arora, Mikhail V. Nesterenko

Publication date: 7 June 2013

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-004-0111-6

zbMATH Keywords

fault-toleranceterminationself-stabilization

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Snap-stabilization in message-passing systems

Cites Work

• Stabilization-preserving atomicity refinement
• Finite-state self-stabilizing protocols in message-passing systems
• Termination detection for diffusing computations
• A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
• Self-stabilization over unreliable communication media
• Memory requirements for silent stabilization
• Time, clocks, and the ordering of events in a distributed system
• The complexity of crash failures

This page was built for publication: Unifying stabilization and termination in message-passing systems