Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

DOI10.4230/LIPIcs.OPODIS.2018.29OpenAlexW2995194729MaRDI QIDQ5091107

Swen Jacobs, Nahal Mirzaie, Fathiyeh Faghih, Borzoo Bonakdarpour

Publication date: 21 July 2022

Full work available at URL: https://dblp.uni-trier.de/db/conf/opodis/opodis2018.html#MirzaieFJB18

zbMATH Keywords

formal methodsself-stabilizationparameterized synthesis

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Cites Work

• A new self-stabilizing maximal matching algorithm
• A belated proof of self-stabilization
• Lazy Synthesis
• Towards Efficient Parameterized Synthesis
• On the Complexity of Adding Convergence
• Synthesis of distributed algorithms with parameterized threshold guards
• Self-stabilizing systems in spite of distributed control
• Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
• ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms
• Parameterized Synthesis
• On Reasoning About Rings
• Unnamed Item
• Unnamed Item