[moca] RE : synchronous implementation of Pi calculus w ith choice?

[Wu Peng <wp@xxxxxxxxx>]

>To me a business is a system which interacts with its environment through
>Named ports, as simple as that. Input port is a service that this
>organization needs and output ports are services that are advertised (infact
>this can be advertised on a website). Other businesses can bind to this port
>and get services or offer services. If somehow a system can accomplish this
>then that will be the ERP system. My concern is do we need a language at
>all, Cant we use the PI calculus and describe a ERP System directly. 

As I know, the concept of name port was not proposed firstly in pi-calculus. 



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