Pages that link to "Item:Q5138367"
From MaRDI portal
The following pages link to Non-blocking atomic commit in asynchronous distributed systems with failure detectors (Q5138367):
Displaying 9 items.
- Managed agreement: generalizing two fundamental distributed agreement problems (Q845930) (← links)
- A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems (Q990136) (← links)
- Asynchronous bounded lifetime failure detectors (Q1041728) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Fast non-blocking atomic commit: an inherent trade-off (Q2390309) (← links)
- (Q4530191) (← links)
- Fair Exchange Is Incomparable to Consensus (Q5505613) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
- Perfect failure detection with very few bits (Q5919048) (← links)
