Eventual Leader Election in the Crash-Recovery Failure Model
The part-time parliament