Re: [moca] Timed Pi-Calculus?

[Bill Rounds <rounds@xxxxxxxxx>]

Actually, not  just time, but allowing arbitrary differential equations
in the continuous environment. This is not yet published, but I can send
anybody  a draft of the current tech report, done with my student Hosung 
Song.

Bill R

On Tuesday, April 9, 2002, at 08:20  AM, Glynn Winskel wrote:

> Bill Rounds, Univ of Michigan Ann Arbor has extended pi to include
> time.
>
> Best
> Glynn Winskel
>
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
>  http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html

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