Weak vs. self vs. probabilistic stabilization

DOI10.1142/S0129054115500173MaRDI QIDQ2947955zbMATH OpenOpenAlexFDO

Authors Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita

Publication date 29 September 2015

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054115500173

zbMATH Keywords

distributed algorithmdistributed systemsfault-toleranceprobabilistic self-stabilizationself-stabilizationweak stabilization

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2036573
• Self-stabilization
• Self-stabilizing extensions for message-passing systems
• Probabilistic self-stabilization
• The instability of self-stabilization

Cites work

• Memory requirements for silent stabilization
• Probabilistic self-stabilization
• Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
• Self-Stabilizing Algorithms for Finding Centers and Medians of Trees
• Self-stabilizing systems in spite of distributed control
• Stabilization and pseudo-stabilization
• Synchronous vs. asynchronous unison

Cited in

(8)

• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Loosely-stabilizing leader election in population protocol model
• Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols
• Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing
• Decidability analysis of self-stabilization for infinite-state systems
• Dynamic FTSS in asynchronous systems: the case of unison
• Fault containment in weakly stabilizing systems
• A loosely self-stabilizing protocol for randomized congestion control with logarithmic memory

This page was built for publication: Weak vs. self vs. probabilistic stabilization

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