Snap-stabilization in message-passing systems

DOI10.1016/J.JPDC.2010.04.002MaRDI QIDQ666259zbMATH OpenOpenAlexFDO

Authors S. Delaët, Sébastien Tixeuil, Stéphane Devismes, Mikhail Nesterenko

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

zbMATH Keywords

distributed systemsself-stabilizationsnap-stabilization

Mathematics Subject Classification ID

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

Recommendations

• Snap-stabilizing linear message forwarding
• Snap-stabilizing PIF on arbitrary connected networks in message passing model
• Unifying stabilization and termination in message-passing systems
• The snap-stabilizing message forwarding algorithm on tree topologies
• Self-stabilizing extensions for message-passing systems

Cites work

• A Snap-Stabilizing DFS with a Lower Space Requirement
• Finite-state self-stabilizing protocols in message-passing systems
• scientific article; zbMATH DE number 1332668 (Why is no real title available?)
• scientific article; zbMATH DE number 1332672 (Why is no real title available?)
• scientific article; zbMATH DE number 2061544 (Why is no real title available?)
• Introduction to Distributed Algorithms
• Principles of Distributed Systems
• Recognizing safety and liveness
• Self-stabilization
• Self-Stabilization by Counter Flushing
• Self-stabilization over unreliable communication media
• Self-stabilization with r-Operators Revisited
• Self-stabilizing extensions for message-passing systems
• Self-stabilizing systems in spite of distributed control
• Snap-stabilization and PIF in tree networks
• Snap-stabilization in message-passing systems
• Snap-Stabilizing Optimal Binary Search Tree
• The fault span of crash failures
• Unifying stabilization and termination in message-passing systems

Cited in

(17)

• Message-efficient self-stabilizing transformer using snap-stabilizing quiescence detection
• Stabilizing data-link over non-FIFO channels with optimal fault-resilience
• Unifying stabilization and termination in message-passing systems
• Snap-stabilization and PIF in tree networks
• Snap-stabilizing PIF on arbitrary connected networks in message passing model
• On probabilistic snap-stabilization
• The expressive power of snap-stabilization
• The snap-stabilizing message forwarding algorithm on tree topologies
• scientific article; zbMATH DE number 2061549 (Why is no real title available?)
• Snap-stabilizing linear message forwarding
• Self-Stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems
• How to improve snap-stabilizing point-to-point communication space complexity?
• Snap-stabilizing tasks in anonymous networks
• Network Scaffolding for Efficient Stabilization of the Chord Overlay Network
• Reducing the number of messages in self-stabilizing protocols
• Snap-stabilization in message-passing systems
• Self-stabilizing snapshot objects for asynchronous failure-prone networked systems

This page was built for publication: Snap-stabilization in message-passing systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q666259)