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/peer2peer
Dave Parker a00471be4b
Added txt extension to README files. 		15 years ago
..
.autopp Added peer2peer example. 18 years ago
.peer2peerN_K.sm.pp Added peer2peer example. 18 years ago
README.txt Added txt extension to README files. 15 years ago
auto Changed auto (commented out parts so run more quickly for testing. 18 years ago
peer2peer.csl Added peer2peer example. 18 years ago
peer2peer4_4.sm Added peer2peer example. 18 years ago
peer2peer4_5.sm Added peer2peer example. 18 years ago
peer2peer4_6.sm Added peer2peer example. 18 years ago
peer2peer4_7.sm Added peer2peer example. 18 years ago
peer2peer4_8.sm Added peer2peer example. 18 years ago
peer2peer5_4.sm Added peer2peer example. 18 years ago
peer2peer5_5.sm Added peer2peer example. 18 years ago
peer2peer5_6.sm Added peer2peer example. 18 years ago
peer2peer5_7.sm Added peer2peer example. 18 years ago
peer2peer5_8.sm Added peer2peer example. 18 years ago

README.txt 

This case study models a very simple peer-to-peer protocol, loosely based on BitTorrent.



For more information, see: http://www.prismmodelchecker.org/casestudies/peer2peer.php



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