Session Consensus_Refined
View
theory dependencies
View
document
View
outline
Theories
Infra
Consensus_Types
Quorums
Consensus_Misc
Two_Steps
Three_Steps
Refinement
Heard_Of.HOModel
HO_Transition_System
Voting
Voting_Opt
Heard_Of.Majorities
OneThirdRule_Defs
OneThirdRule_Proofs
Ate_Defs
Ate_Proofs
Same_Vote
Observing_Quorums
Observing_Quorums_Opt
HOL-Library.Infinite_Set
HOL-Library.Omega_Words_Fun
Stuttering_Equivalence.Samplers
Stuttering_Equivalence.StutterEquivalence
Heard_Of.Reduction
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