Á García-Pérez, A Gotsman, Y Meshman… - … 2018, Held as Part of the …, 2018 - Springer
Lamport's Paxos algorithm is a classic consensus protocol for state machine replication in
environments that admit crash failures. Many versions of Paxos exploit the protocol's intrinsic …