Re: [moca] Model checking (Stochastic)pi-calculus

["Benjamin Aziz" <baziz@xxxxxxxxxxxxxxxx>]

I am aware of one recent paper:

"A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes
Using Tabled Resolution"
By P. Yang, C.R. Ramakrishnan and Scott. A. Smolka (VMCAI03)

Regards,
Ben

--8<------------------------------------------------------------------------
---------
Benjamin Aziz
School of Computer Applications,
Dublin City University,
Telephone (Office): (00353) - (01) - 7005828
Fax (Office): (00353) - (01) - 7005442
-->8------------------------------------------------------------------------
---------

>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

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