Optimistic Atomic Multicast
Generalized Consensus and Paxos