MultiPaxos
Flexible MultiPaxos
Batched MultiPaxos