Pages that link to "Item:Q3300835"
From MaRDI portal
The following pages link to Synthesis of distributed algorithms with parameterized threshold guards (Q3300835):
Displaying 8 items.
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms (Q2828285) (← links)
- Reachability in Parameterized Systems: All Flavors of Threshold Automata (Q5009433) (← links)
- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (Q5091107) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
- Complexity of Verification and Synthesis of Threshold Automata (Q6485862) (← links)
- Synthesis of distributed agreement-based systems with efficiently-decidable verification (Q6536135) (← links)