Leader election in a distributed system of unknown size.