Snap-stabilization in message-passing systems
From MaRDI portal
Publication:666259
DOI10.1016/j.jpdc.2010.04.002zbMath1233.68051OpenAlexW2037694779MaRDI QIDQ666259
Sylvie Delaët, Sébastien Tixeuil, Mikhail V. Nesterenko, Stéphane Devismes
Publication date: 7 March 2012
Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.243.3796
Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items
The expressive power of snap-stabilization ⋮ Stabilizing data-link over non-FIFO channels with optimal fault-resilience ⋮ Snap-stabilization in message-passing systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Snap-stabilization in message-passing systems
- Finite-state self-stabilizing protocols in message-passing systems
- Recognizing safety and liveness
- Self-stabilizing extensions for message-passing systems
- Self-stabilization over unreliable communication media
- Unifying stabilization and termination in message-passing systems
- Snap-stabilization and PIF in tree networks
- Self-stabilizing systems in spite of distributed control
- Self-Stabilization by Counter Flushing
- Introduction to Distributed Algorithms
- Snap-Stabilizing Optimal Binary Search Tree
- A Snap-Stabilizing DFS with a Lower Space Requirement
- Self-stabilization with r-Operators Revisited
- The fault span of crash failures
- Principles of Distributed Systems
This page was built for publication: Snap-stabilization in message-passing systems
