www.prismmodelchecker.org
[AAE08] Dana Angluin, James Aspnes, and David Eisenstat. A simple population protocol for fast robust approximate majority. Distributed Computing, 21(2), pages 87-102. 2008. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications