Anna Pogosyants, Roberto Segala, Nancy A. Lynch. Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. In Marios Mavronicolas, Philippas Tsigas, editors, Distributed Algorithms, 11th International Workshop, WDAG 97, Saarbrücken, Germany, September 24-26, 1997, Proceedings. Volume 1320 of Lecture Notes in Computer Science, pages 22-36, Springer, 1997.
Abstract is missing.