Some basic Paxos TLA+ specifications.
Paxos
(open in web explorer)PaxosUniversal
(open in web explorer)PaxosByz
(open in web explorer)
Some basic Paxos TLA+ specifications.
Paxos
(open in web explorer)PaxosUniversal
(open in web explorer)PaxosByz
(open in web explorer)