An implementation of the Le Lann, Chang, Roberts algorithm solving the Leader Election Problem in PROMELA.