Application of Event Systems and the
Logic of Distributed Systems to Leader Election

Mark Bickford

September 30, 2002