Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
20th September, 2002: Bill Rounds
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > 20th September, 2002: Bill Rounds

Speaker: Bill Rounds, Computer Laboratory and University of Michigan
Title: The Phi-Calculus: An Extension of the Pi-Calculus to Hybrid Systems
Time: 20th September, 2002, 14:00
Venue: William Gates Building, room FW11
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.