Simplifying Itai-Rodeh Leader Election for Anonymous Rings

  title={Simplifying Itai-Rodeh Leader Election for Anonymous Rings},
  author={Wan Fokkink and Jun Pang},
  journal={Electr. Notes Theor. Comput. Sci.},
We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [14]. In contrast to the Itai-Rodeh algorithm, our algorithms are finite-state. So they can be analyzed using explicit state space exploration; we used the probabilistic model checker PRISM to verify, for rings up to size four, that eventually a unique leader is elected with probability one. 
Highly Cited
This paper has 32 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 18 references

Simplifying Itai-Rodeh leader election for anonymous rings

  • W. J. Fokkink, J. Pang
  • Technical Report SEN-R0405, CWI Amsterdam,
  • 2004
2 Excerpts

Similar Papers

Loading similar papers…