On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms

DOI10.1007/S00446-010-0104-6MaRDI QIDQ992514zbMATH OpenOpenAlexFDO

Authors Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks

Publication date 9 September 2010

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00446-010-0104-6

zbMATH Keywords

analysis of algorithmsDijkstra's third algorithmdistributed computingmutual exclusionringself-stabilizationstabilization timethree-state algorithm

Mathematics Subject Classification ID

Distributed systems (68M14) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms (68W40)

Recommendations

• A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring
• On the Performance of Beauquier and Debas’ Self-stabilizing Algorithm for Mutual Exclusion
• scientific article; zbMATH DE number 2226803
• On the costs of self-stabilization
• Game theoretic analysis of self-stabilizing systems on arrays

Cites work

• A belated proof of self-stabilization
• An exercise in proving self-stabilization with a variant function
• scientific article; zbMATH DE number 3742629 (Why is no real title available?)
• On the costs of self-stabilization
• On the Performance of Beauquier and Debas’ Self-stabilizing Algorithm for Mutual Exclusion
• Self-stabilization
• Self-stabilization (in spite of distributed control) in tree-structured systems
• Self-stabilizing systems in spite of distributed control
• Stabilization of general loop-free routing

Cited in

(5)

• Game theoretic analysis of self-stabilizing systems on arrays
• Certification of an exact worst-case self-stabilization time
• On the Performance of Beauquier and Debas’ Self-stabilizing Algorithm for Mutual Exclusion
• A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring
• scientific article; zbMATH DE number 2226803 (Why is no real title available?)

This page was built for publication: On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms

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