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.
3593 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
prism-accumulation/prism-examples/consensus
Dave Parker a00471be4b
Added txt extension to README files. 		15 years ago
..
.autopp Added consensus to examples. 17 years ago
.coinN.nm.pp Added consensus to examples. 17 years ago
README.txt Added txt extension to README files. 15 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.txt 

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.