A Leader Election Service for Crash-Recovery and Omission Environments

Leader election is a key service for many dependable ubiquitous systems. It eases the consistent management of replicas in current highly available computing scenarios. This paper presents our work on the design of a leader election service for crash-recovery and omission environments, in order to support fault-tolerant agreement protocols, e.g., Paxos.