A Leader Election Service for Crash-Recovery and Omission Environments | Publicación