Building Consistent Transactions with Inconsistent Replication
Generalized Consensus and Paxos