Abstract: |
We present the phi-calculus, an extension of the pi-calculus which
allows interaction of mobile processes with a continuous environment
specified by ordinary differential equations. We present some
examples, in particular Petri nets, which are easily and naturally
represented in the formalism, and we show a new kind of congruence
result for weak bisimulation in the environment of continuous flows.
|