scientific article; zbMATH DE number 6841177

DOI10.23638/LMCS-14(1:12)2018zbMath1398.68056arXiv1509.05664MaRDI QIDQ4603447

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fathiyeh Faghih, Sébastien Tixeuil

Publication date: 20 February 2018

Full work available at URL: https://arxiv.org/abs/1509.05664

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Related Items

Certification of an exact worst-case self-stabilization time, Parameterized synthesis of self-stabilizing protocols in symmetric networks, Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings, Unnamed Item

Uses Software

• Yices
• z3

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nash equilibria in stabilizing systems
• Synthesizing bounded-time 2-phase fault recovery
• Probabilistic self-stabilization
• A belated proof of self-stabilization
• Symbolic synthesis of masking fault-tolerant distributed programs
• Parameterized Synthesis
• On the Complexity of Adding Convergence
• Bounded Synthesis
• 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