The following pages link to Byzantizing Paxos by Refinement (Q3095328):
Displayed 4 items.
- Generalized Paxos made Byzantine (and less complex) (Q2633262) (← links)
- Analysis of the Blockchain Protocol in Asynchronous Networks (Q5267421) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
- Tasks in modular proofs of concurrent algorithms (Q6044466) (← links)