Similar Items: Automated Synthesis of Distributed Self-Stabilizing Protocols
- Automated Synthesis of Tableau Calculi
- Origins of Stability in Automated Underwater Vehicle Systems
- Distributed controller synthesis for deadlock avoidance
- A Framework for Certified Self-Stabilization
- Knowledge-Based Synthesis of Distributed Systems Using Event Structures
- Adaptation of Error Correction Procedures to the Time-Bin Quantum Key Distribution Protocol Implementation