The FuzzyLog: A Partially Ordered Shared Log.
Generalized Consensus and Paxos