You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
435 B
435 B
This case study is based on the shared coin protocol from the randomised consensus algorithm of Aspnes and Herlihy [AH90].
For more information, see: http://www.prismmodelchecker.org/casestudies/consensus_prism.php
=====================================================================================
[AH90]
J. Aspnes and M. Herlihy.
Fast randomized consensus using shared memory.
Journal of Algorithms, 15(1):441-460, 1990.