Unifying stabilization and termination in message-passing systems
From MaRDI portal
Publication:1953246
DOI10.1007/s00446-004-0111-6zbMath1264.68023MaRDI 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
68M14: Distributed systems
68M15: Reliability, testing and fault tolerance of networks and computer systems
Related Items
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