@inproceedings{91e228f1d72f40aa908631c9029f2ac2,
title = "Leader Election in Anonymous Rings: Franklin Goes Probabilistic",
abstract = "We present a probabilistic leader election algorithm for anonymous, bidirectional, asynchronous rings. It is based on an algorithm from Franklin, augmented with random identity selection, hop counters to detect identity clashes, and round numbers modulo 2. As a result, the algorithm is finite-state, so that various model checking techniques can be employed to verify its correctness, that is, eventually a unique leader is elected with probability one. We also sketch a formal correctness proof of the algorithm for rings with arbitrary size.",
keywords = "EWI-12292, CR-C.2.4, METIS-250959, FMT-MC: MODEL CHECKING, IR-62250, CR-I.1.2",
author = "Rena Bakhshi and Wan Fokkink and Jun Pang and \{van de Pol\}, \{Jan Cornelis\}",
note = "10.1007/978-0-387-09680-3\_4 ; Fifth IFIP International Conference On Theoretical Computer Science ; Conference date: 08-09-2008 Through 10-09-2008",
year = "2008",
month = jul,
day = "22",
doi = "10.1007/978-0-387-09680-3\_4",
language = "Undefined",
isbn = "978-0-387-09679-7",
series = "IFIP International Federation for Information Processing",
publisher = "Springer",
number = "1",
pages = "57--72",
editor = "G. Ausiello and J. Karhum{\"a}ki and G. Mauri and L. Ong",
booktitle = "Fifth IFIP International Conference On Theoretical Computer Science",
address = "Germany",
}