@article{GM96,
title = {Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks },
author = {Garavel, Hubert and Mounier, Laurent},
year = {1996},
journal = {Science of Computer Programming},
team = {DCS,PACSS},
}