By Huynh Tu Dang, Marco Canini, Fernando Pedone, and Robert Soulé. Paxos is one of the most widely used protocols for solving consensus, the problem of getting a group of pa...