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