Combining Paxos and PaxosLease

The article walks through the integration of durable Paxos with PaxosLease to arrive at a small master-based replicated state machine: Paxos decides the command log, PaxosLease decides who is allowed to append to it, and clients must discover the current master before submitting writes.