Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM

2006

Presented at the International Symposium on Formal Methods for Components and Objects, Amsterdam

Additional Metadata
THEME	Software (theme 1)
Publisher	www.jucs.org
Journal	Journal of Universal Computer Science
Conference	International Symposium on Formal Methods for Components and Objects
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W., & Pang, J. (2006). Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM. Journal of Universal Computer Science, 12, 981–1006.

See Also
article Cones, foci: A mechanical framework for protocol verification W.J. Fokkink (Wan), J. Pang and J.C. van de Pol (Jaco)
article Computing with actions and communications W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)
article Computing with actions and communications W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)
article Cones, foci: A mechanical framework for protocol verification W.J. Fokkink (Wan), J. Pang and J.C. van de Pol (Jaco)

Publication