Disk paxos

DOI10.1007/S00446-002-0070-8MaRDI QIDQ5138480zbMATH OpenOpenAlexFDO

Authors Eli Gafni, Leslie Lamport

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

zbMATH Keywords

consensusdistributed computingfault-tolerancestate machine

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 1696684
• Active disk Paxos with infinitely many processes
• Active disk Paxos with infinitely many processes
• scientific article; zbMATH DE number 6905205
• Byzantine disk paxos

Cited in

(13)

• On the cost of uniform protocols whose memory consumption is adaptive to interval contention
• Active disk Paxos with infinitely many processes
• When consensus meets self-stabilization
• Byzantine disk paxos: optimal resilience with Byzantine shared memory
• scientific article; zbMATH DE number 1696684 (Why is no real title available?)
• Using Bounded Model Checking to Verify Consensus Algorithms
• Active disk Paxos with infinitely many processes
• Multicoordinated Paxos
• Byzantine disk paxos
• Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
• Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
• Wait-free regular storage from Byzantine components
• An impossibility about failure detectors in the iterated immediate snapshot model

This page was built for publication: Disk paxos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5138480)