The Φ-calculus: A language for distributed control of reconfigurable embedded systems

Abstract

The Φ-calculus extends Milner's π-calculus by adding active environments which flow continuously over time. This allows us to extend hybrid automata to specify systems of physical agents which can reconfigure themselves. We prove a theorem stating that processes (weakly) bisimilar in the process-algebraic sense, when placed in the same active environment, control it in the same way. © Springer-Verlag Berlin Heidelberg 2003.