- Specification's authors: Leslie Lamport
- Original paper: Lamport, Leslie. Fast Paxos. Distributed Computing 19.2 (2006): 79-103.
- Additional paper: Zhao Wenbing. Fast Paxos Made Easy: Theory and Implementation. International Journal of Distributed Systems and Technologies, 6(1), 15-33, January-March 2015
- tlaplus/Examples specification by: Lim Ngian Xin Terry & Gaurav Gandhi
- Computation models: crashes, lost/duplicated messages
- Some properties checked with TLC: nontriviality, consistency
- TLA+ files
SimplifiedFastPaxos
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||