External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study

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.

Authors

Anna Pogosyants

This author has not been identified. Look up 'Anna Pogosyants' in Google

Roberto Segala

This author has not been identified. Look up 'Roberto Segala' in Google

Nancy A. Lynch

This author has not been identified. Look up 'Nancy A. Lynch' in Google
runs on