2 search results - page 1 / 1 » Verification of the randomized consensus algorithm of Aspnes... |
DC
2000
13 years 4 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
CAV
2001
Springer
13 years 8 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...