Re: [moca] Timed Pi-Calculus?

[Martin Berger <martinb@xxxxxxxxxxxxxx>]

 > Is there anyone who has extended Pi-Calculus to a real-time
 > version (Timed Pi-calculus)?

kohei honda and myself extended a pi-calculus with discrete time
in 1998/9. the results have been published in EXPRESS'00.
i have also just submitted an indepth study of pi with discrete
time. the upshot is that the integration of time collapses
strong and weak congruences. i doubt that this is a specifically
pi result: scope mobility and discrete time are orthogonal *at this
level of integration*. i expect the collaps of congruence to
profoundly effect [split infinitives in the house!] separation
results, but i have not looked at this in any detail

you can find the papers at:

   [1] http://www.dcs.qmul.ac.uk/~martinb/publications/fsttcs02.html
   [2] http://www.dcs.qmul.ac.uk/~martinb/publications/express00.html

but please bear in mind that [1] is a draft, especially the long version.

martin


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