Leader Election

Leader Election
Properties:
Either there is no correct process, or some correct process is eventually the leader.
If a process is leader, then all previously elected leaders have crashed.

Eventual Leader Election
Properties:
Eventual accuracy: There is a time after which every correct process trusts some correct process.
Eventual agreement: There is a time after which no two correct processes trust different correct processes.