CASPaxos Specification's authors: Tobias Schottdorf Original paper: In search of a simple consensus algorithm Extended modules: Int, FinSet Computation models: crashes, lost messages Some properties checked with TLC: correctness TLA+ files