. Lamport, ? Paxos made simple, fast, and byzantine, Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, pp.7-9, 2002.