Re: [moca] PI analysis tools

[Mikkel Bundgaard <mikkelbu@xxxxxx>]

ChenZhenyu wrote:

>Hello,
>    I use pi calculus to model and analyse workflow(business process).
>Do you know some analysis tools based pi calculus?
>
>Thanks
>
>CHEN Zhenyu
>
Hi Chen

The first tools that spring to my mind (for pi-calculus) is the Mobility
Workbench and the OBC Workbench, but more probably exists.

The Mobility Workbench (by Bjorn Victor, Faron Moller, Mads Dam, and
Lars-Henrik Eriksson)
http://www.it.uu.se/research/group/mobility/mwb

OBC Workbench (a student project from Aalborg)
http://www.cs.auc.dk/research/FS/ny/PR-pi/
-- Mikkel Bundgaard Ph.D. student at IT University of Copenhagen
http://www.itu.dk/people/mikkelbu/


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