Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. (2000)

by A Pogosyants, R Segala, N Lynch
Venue:Distributed Computing,