|
[PSL00]
A. Pogosyants, R. Segala and N. Lynch.
Verification of the randomized consensus algorithm of Aspnes and Herlihy: A case study.
Distributed Computing, 13(4), pages 155-186.
2000.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|