The phi-calculus, an extension of the pi-calculus to hybrid systems
In this talk we present a new language which allows concurrent programs to interact with continuous environments. It is an extension of the powerful pi-calculus of Milner, which already provides for concurrency and reconfigurability. Our contribution adds the notion of *active environments* which can specify flows over continuous time using ordinary differential equations. This allows us to extend ordinary hybrid automata to specify systems of physical agents which can reconfigure themselves.