Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
DiskPaxos.tla		DiskPaxos.tla
DistributedMultiPaxos.tla		DistributedMultiPaxos.tla
LICENSE.md		LICENSE.md
MCDiskPaxos.tla		MCDiskPaxos.tla
MultiConsensus.tla		MultiConsensus.tla
MultiPaxos.pdf		MultiPaxos.pdf
MultiPaxos.tla		MultiPaxos.tla
README.md		README.md

Repository files navigation

MultiPaxos

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.

About

MultiPaxos and Disk Paxos in TLA+ and PlusCal

13 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages