Eventual Leader Election in the Crash-Recovery Failure Model | Publicación