Eventual Leader Election in the Crash-Recovery Failure Model
Reaching Agreement in the Presence of Faults