On probabilistic snap-stabilization

DOI10.1016/J.TCS.2015.08.001MaRDI QIDQ2357149zbMATH OpenOpenAlexFDO

Authors Karine Altisen, Stéphane Devismes

Publication date 19 June 2017

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

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

zbMATH Keywords

leader electionprobabilistic algorithmssnap-stabilization

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Recommendations

• On correctness of probabilistic stabilization
• Snap-stabilization in message-passing systems
• Probabilistic self-stabilization
• The expressive power of snap-stabilization
• Probabilistic sorting and stabilization of switched systems
• On the stabilization of stochastic systems

Cites work

• Defining liveness
• Fault-containing self-stabilizing distributed protocols
• scientific article; zbMATH DE number 1332668 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 2006656 (Why is no real title available?)
• scientific article; zbMATH DE number 2036573 (Why is no real title available?)
• Optimal reactive k -stabilization
• Probabilistic self-stabilization
• Probability. Theory and examples.
• 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-stabilization and PIF in tree networks
• Snap-Stabilizing Waves in Anonymous Networks
• The Conic toolkit for building distributed systems
• When graph theory helps self-stabilization

Cited in

(8)

• A silent self-stabilizing algorithm for the generalized minimal k-dominating set problem
• Stable snap rounding
• The expressive power of snap-stabilization
• scientific article; zbMATH DE number 2061549 (Why is no real title available?)
• Constant space self-stabilizing center finding algorithms in chains and trees
• Snap-stabilizing tasks in anonymous networks
• Snap-stabilizing tasks in anonymous networks
• Self-stabilizing synchronous unison in directed networks

This page was built for publication: On probabilistic snap-stabilization

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