Byzantizing Paxos by refinement
From MaRDI portal
Publication:3095328
Recommendations
Cites work
Cited in
(7)- Analysis of the Blockchain Protocol in Asynchronous Networks
- Quorum tree abstractions of consensus protocols
- Bee's strategy against Byzantines. Replacing Byzantine participants (extended abstract)
- Generalized Paxos made Byzantine (and less complex)
- Tasks in modular proofs of concurrent algorithms
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Tasks in modular proofs of concurrent algorithms
This page was built for publication: Byzantizing Paxos by refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3095328)