- Specification's authors: Leslie Lamport
- Original paper: Lamport, Leslie. Fast paxos. Distributed Computing 19.2 (2006): 79-103.
- Extended modules: Nat, FinSet
- Computation models: crashes, lost/duplicated messages
- Some properties checked with TLC: nontriviality, consistency
- TLA+ files