[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[moca] PI analysis tools

To: "moca" <moca@xxxxxxxxxxxxxxx>
Subject: [moca] PI analysis tools
From: "ChenZhenyu" <youarepi@xxxxxxxxxxx>
Date: Thu, 25 Mar 2004 15:35:10 +0800
List-help: <mailto:sympa@lists-sop.inria.fr?subject=help>
List-id: <moca.lists-sop.inria.fr>
List-owner: <mailto:moca-request@lists-sop.inria.fr>
List-post: <mailto:moca@lists-sop.inria.fr>
List-subscribe: <mailto:sympa@lists-sop.inria.fr?subject=subscribe%20moca>
List-unsubscribe: <mailto:sympa@lists-sop.inria.fr?subject=unsubscribe%20moca>
Reply-to: moca@xxxxxxxxxxxxxxx, "ChenZhenyu" <youarepi@xxxxxxxxxxx>

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

Thanks

CHEN Zhenyu
Mathematics Department, NJU
Business Value Research
IBM China Research Lab
Tel: (86-10) 6298 6677 x 559,
Fax: (86-10) 82899634
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html

Follow-Ups:
- Re: [moca] PI analysis tools
  - From: Mikkel Bundgaard

Prev by Date: [moca] Genericity and the Pi-Calculus
Next by Date: Re: [moca] PI analysis tools
Previous by thread: [moca] Genericity and the Pi-Calculus
Next by thread: Re: [moca] PI analysis tools
Index(es):
- Date
- Thread