Translating the probabilistic π -calculus to PRISM

[bensalah...@gmail.com]

Hello All,

I am looking for full version of a  MMC_sp?

(file Pi2Prism (probabilistic pi-calculus to PRISM models)== does not exist)

Reference :

http://www0.cs.ucl.ac.uk/staff/p.wu/mmc_sp_manual.html
Translating the probabilistic pi-calculus to PRISM
Gethin Norman, Catuscia Palamidessi, David Parker and Peng Wu

Thanks,

Nail

[bensalah...@gmail.com]

Dear all

I need the version of PRISM 2007 with  Pi2Prism

command  :
java -cp ../../pi2prism Pi2Prism 

Thanks,

Nail