Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus
Self-stabilizing systems in spite of distributed control