s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
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.
677 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 1fdc1753a4
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '1fdc1753a4'
${ noResults }
prism-accumulation/prism-examples/consensus
Dave Parker 1fdc1753a4
Version number. 		17 years ago
..
.autopp Added consensus to examples. 17 years ago
.coinN.nm.pp Added consensus to examples. 17 years ago
README Added consensus to examples. 17 years ago
auto Added consensus to examples. 17 years ago
coin.pctl Removed fairness info. 17 years ago
coin2.nm Added consensus to examples. 17 years ago
coin4.nm Added consensus to examples. 17 years ago
coin6.nm Added consensus to examples. 17 years ago
coin8.nm Added consensus to examples. 17 years ago
coin10.nm Added consensus to examples. 17 years ago

README 

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.