Work

Practically Self-stabilizing Paxos Replicated State-Machine