Mencius: Building Efficient Replicated State Machine for WANs
Paxos made live: an engineering perspective