|
[Sai92]
I. Saias.
Proving probabilistic correctness statements: The case of Rabin's algorithm for mutual exclusion.
In Proc. 11th Annual Symposium on Principles of Distributed Systems, pages 263-274.
1992.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|