www.prismmodelchecker.org
[IJ90] A. Israeli and M. Jalfon. Token management schemes and random walks yield self-stabilizating mutual exclusion. In Proc. ACM Symposium on Principles of Distributed Computing, pages 119-131. 1990. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications