menu

Return to entry

Infra
Consensus_Types
Quorums
Consensus_Misc
Two_Steps
Three_Steps
Refinement
HO_Transition_System
Voting
Voting_Opt
OneThirdRule_Defs
OneThirdRule_Proofs
Ate_Defs
Ate_Proofs
Same_Vote
Observing_Quorums
Observing_Quorums_Opt
Two_Step_Observing
Uv_Defs
Uv_Proofs
BenOr_Defs
BenOr_Proofs
MRU_Vote
MRU_Vote_Opt
Three_Step_MRU
New_Algorithm_Defs
New_Algorithm_Proofs
Paxos_Defs
Paxos_Proofs
CT_Defs
CT_Proofs

Consensus_Refined.Paxos_Proofs

HTML Presentation