Pages that link to "Item:Q2377261"
From MaRDI portal
The following pages link to On implementing omega in systems with weak reliability and synchrony assumptions (Q2377261):
Displayed 15 items.
- Communication-optimal eventually perfect failure detection in partially synchronous systems (Q473190) (← links)
- Stabilizing leader election in partial synchronous systems with crash failures (Q666011) (← links)
- The asynchronous bounded-cycle model (Q719298) (← links)
- A timing assumption and two \(t\)-resilient protocols for Implementing an eventual leader service in asynchronous shared memory systems (Q848847) (← links)
- A simple and communication-efficient omega algorithm in the crash-recovery model (Q990113) (← links)
- Adaptive progress: a gracefully-degrading liveness property (Q992505) (← links)
- Partial synchrony based on set timeliness (Q1938365) (← links)
- Failure detectors encapsulate fairness (Q1938374) (← links)
- Communication-efficient failure detection and consensus in omission environments (Q1944087) (← links)
- Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures (Q2009633) (← links)
- Consensus in anonymous asynchronous systems with crash-recovery and omission failures (Q2244065) (← links)
- The Theta-Model: achieving synchrony without clocks (Q2377129) (← links)
- On implementing omega in systems with weak reliability and synchrony assumptions (Q2377261) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
- Packet efficient implementation of the Omega failure detector (Q5918188) (← links)