MultiPaxos
December 11, 2019 ยท View on GitHub
A formalization of the Multi-Paxos algorithm. Heavily inspired by a few of Leslie Lamport's papers.
Also contains a formalization of Disk Paxos in PlusCal.
December 11, 2019 ยท View on GitHub
A formalization of the Multi-Paxos algorithm. Heavily inspired by a few of Leslie Lamport's papers.
Also contains a formalization of Disk Paxos in PlusCal.