Name		Name	Last commit message	Last commit date
parent directory ..
BPConProof.cfg		BPConProof.cfg
BPConProof.tla		BPConProof.tla
Consensus.cfg		Consensus.cfg
Consensus.tla		Consensus.tla
PConProof.cfg		PConProof.cfg
PConProof.tla		PConProof.tla
README.md		README.md
VoteProof.cfg		VoteProof.cfg
VoteProof.tla		VoteProof.tla

README.md

Byzantizing Paxos by Refinement

Authored by Leslie Lamport

http://lamport.azurewebsites.net/tla/byzpaxos.html