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.
Research supported by US NSF Grant 0233960.