The expressive power of snap-stabilization

DOI10.1016/J.TCS.2016.01.036MaRDI QIDQ264569zbMATH OpenOpenAlexFDO

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

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-toleranceleader electionpropagation of information with feedbackresetself-stabilizationsnap-stabilization

Mathematics Subject Classification ID

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

Recommendations

• Snap-stabilizing PIF on arbitrary connected networks in message passing model
• scientific article; zbMATH DE number 2061549
• Snap-stabilization and PIF in tree networks
• Snap-stabilization in message-passing systems
• On probabilistic snap-stabilization

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 1332668 (Why is no real title available?)
• scientific article; zbMATH DE number 2036567 (Why is no real title available?)
• scientific article; zbMATH DE number 2061549 (Why is no real title available?)
• A Snap-Stabilizing DFS with a Lower Space Requirement
• Distributed network protocols
• Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
• Fault-containing self-stabilizing distributed protocols
• Memory-efficient and self-stabilizing network RESET (extended abstract)
• Optimal snap-stabilizing depth-first token circulation in tree networks
• Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
• Self-stabilizing extensions for message-passing systems
• Self-stabilizing systems in spite of distributed control
• Snap-Stabilizing Optimal Binary Search Tree
• Snap-stabilization and PIF in tree networks
• Snap-stabilization in message-passing systems
• Snap-stabilizing linear message forwarding
• The snap-stabilizing message forwarding algorithm on tree topologies
• Time optimal self-stabilizing synchronization
• Unreliable failure detectors for reliable distributed systems

Cited in

(10)

• Snap-stabilization and PIF in tree networks
• On probabilistic snap-stabilization
• Self-stabilizing 2-minimal dominating set algorithms based on loop composition
• Stable snap rounding
• Snap-stabilizing PIF on arbitrary connected networks in message passing model
• Optimized silent self-stabilizing scheme for tree-based constructions
• Snap-stabilizing tasks in anonymous networks
• Reducing the number of messages in self-stabilizing protocols
• Snap-stabilizing tasks in anonymous networks
• Self-stabilizing systems in spite of high dynamics

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

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