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.
3751 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 0b71415be9
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '0b71415be9'
${ noResults }
prism-accumulation/prism-examples/mdps/self-stabilisation/israeli-jalfon
Dave Parker bb86d1c14b
Group examples subdirectories by model type. 		7 years ago
..
.autopp Group examples subdirectories by model type. 7 years ago
.ijN.nm.pp Group examples subdirectories by model type. 7 years ago
README.txt Group examples subdirectories by model type. 7 years ago
auto Group examples subdirectories by model type. 7 years ago
ij.pctl Group examples subdirectories by model type. 7 years ago
ij3.nm Group examples subdirectories by model type. 7 years ago
ij4.nm Group examples subdirectories by model type. 7 years ago
ij5.nm Group examples subdirectories by model type. 7 years ago
ij6.nm Group examples subdirectories by model type. 7 years ago
ij7.nm Group examples subdirectories by model type. 7 years ago
ij8.nm Group examples subdirectories by model type. 7 years ago
ij9.nm Group examples subdirectories by model type. 7 years ago
ij10.nm Group examples subdirectories by model type. 7 years ago
ij11.nm Group examples subdirectories by model type. 7 years ago
ij12.nm Group examples subdirectories by model type. 7 years ago
ij13.nm Group examples subdirectories by model type. 7 years ago
ij14.nm Group examples subdirectories by model type. 7 years ago
ij15.nm Group examples subdirectories by model type. 7 years ago
ij16.nm Group examples subdirectories by model type. 7 years ago
ij17.nm Group examples subdirectories by model type. 7 years ago
ij18.nm Group examples subdirectories by model type. 7 years ago
ij19.nm Group examples subdirectories by model type. 7 years ago
ij20.nm Group examples subdirectories by model type. 7 years ago
ij21.nm Group examples subdirectories by model type. 7 years ago

README.txt 

This case study is based on Israeli and Jalfon's self-stabilising algorithm [IJ90].



For more information, see: http://www.prismmodelchecker.org/casestudies/self-stabilisation.php



=====================================================================================



[IJ90]

A. Israeli and M. Jalfon

Token management schemes and random walks yeild self-stabilizating mutual exclusion

In Proc. ACM Symposium on Principles of Distributed Computing, pp. 119-131, 1990