Leader election is important for many fault-tolerant services in asynchronous distributed
systems. By coordinating actions of a set of processes, it allows solving agreement problems …