- Specification's authors: Giuliano Losa
- Original paper: Lamport, Leslie. Generalized Consensus and Paxos. (2004).
- Extended modules: Int, FinSet
- Computation models: crashes, lost/duplicated messages
- Some properties checked with TLC: correctness
- TLA+ files