[moca] Model checking (Stochastic)pi-calculus

[Pascal Poizat <poizat@xxxxxxxxxxxxxxxxx>]

Hello,

I am switching from CCS/CSP/LOTOS process algebras to pi-calculus
(teaching & research).
Do you know if there exist papers and/or tools on model-checking
pi-calculus or stochastic pi-calculus ?

Regards,

Pascal


--
Pascal Poizat
LaMI - UMR 8042 du CNRS / Universite d'Evry Val d'Essonne
Tour Evry 2, 523 place des terrasses de l'Agora, 91000 EVRY, France
http://www.lami.univ-evry.fr/~poizat


 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html