www.prismmodelchecker.org
[Rab82] M. Rabin. N-Process Mutual Exclusion with Bounded Waiting by 4log2N-Valued Shared Variable. Journal of Computer and System Sciences, 25(1), pages 66-75. 1982. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications