Eventual Leader Election in the Crash-Recovery Failure Model | IEEE Conference Publication | IEEE Xplore