Hubert Garavel, Laurent Mounier. Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Science of Computer Programming, Special issue on Industrially Relevant Applications of Formal Analysis Techniques. Full version available as INRIA Research Report 2986, 1996.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@article{Garavel-Mounier-96,
Author = {Garavel, Hubert and Mounier, Laurent},
Title = {Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks},
Journal = {Science of Computer Programming},
Year = {1996}
}
Get EndNote Reference (.ref)