Pages that link to "Item:Q1954236"
From MaRDI portal
The following pages link to Booting clock synchronization in partially synchronous systems with hybrid process and link failures (Q1954236):
Displayed 9 items.
- On the impact of link faults on Byzantine agreement (Q476176) (← links)
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
- Reconciling fault-tolerant distributed algorithms and real-time computing (Q2251157) (← links)
- The Theta-Model: achieving synchrony without clocks (Q2377129) (← links)
- Of choices, failures and asynchrony: the many faces of set agreement (Q2428676) (← links)
- Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip (Q2637656) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Synthesis of distributed algorithms with parameterized threshold guards (Q3300835) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)