Paxos is a distributed consensus algorithm for state-machine replication.
Consensus algorithm for Distributed system, by Leslie Lamport but really complicated compared to Raft, so less desirable b/c hard to understand not complete enough specification for real implementations