MultiPaxos

Flexible MultiPaxos

Batched MultiPaxos