2 search results - page 1 / 1 » Verification of the randomized consensus algorithm of Aspnes... |
DC
2000
13 years 6 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 10 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...