Disk Paxos
From MaRDI portal
Publication:5138480
DOI10.1007/s00446-002-0070-8zbMath1448.68099OpenAlexW2912556876MaRDI QIDQ5138480
Publication date: 4 December 2020
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00446-002-0070-8
Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15)
Related Items
Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications ⋮ Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker ⋮ Byzantine disk paxos: optimal resilience with Byzantine shared memory ⋮ Wait-free regular storage from Byzantine components ⋮ When consensus meets self-stabilization ⋮ Using Bounded Model Checking to Verify Consensus Algorithms ⋮ An impossibility about failure detectors in the iterated immediate snapshot model ⋮ On the cost of uniform protocols whose memory consumption is adaptive to interval contention