The expressive power of snap-stabilization

DOI10.1016/j.tcs.2016.01.036zbMath1336.68015OpenAlexW2271383199MaRDI QIDQ264569

Vincent Villain, Ajoy K. Datta, Stéphane Devismes, Franck Petit, Alain Cournier

Publication date: 31 March 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.01.036

zbMATH Keywords

snapshotfault-toleranceself-stabilizationleader electionpropagation of information with feedbackresetsnap-stabilization

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (4)

Self-stabilizing systems in spite of high dynamics ⋮ Self-stabilizing 2-minimal dominating set algorithms based on loop composition ⋮ Snap-stabilizing tasks in anonymous networks ⋮ Optimized silent self-stabilizing scheme for tree-based constructions

Cites Work

• The snap-stabilizing message forwarding algorithm on tree topologies
• Snap-stabilization in message-passing systems
• Optimal snap-stabilizing depth-first token circulation in tree networks
• Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
• Self-stabilizing extensions for message-passing systems
• Snap-stabilization and PIF in tree networks
• Fault-containing self-stabilizing distributed protocols
• Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
• Distributed network protocols
• Self-stabilizing systems in spite of distributed control
• Unreliable failure detectors for reliable distributed systems
• Snap-Stabilizing Linear Message Forwarding
• Time optimal self-stabilizing synchronization
• Snap-Stabilizing Optimal Binary Search Tree
• A Snap-Stabilizing DFS with a Lower Space Requirement
• Memory-efficient and self-stabilizing network RESET (extended abstract)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The expressive power of snap-stabilization