We introduce a new concept of modeling timed behavior in pi-calculus by representing timed actions (or timers) as interactions between application processes and clock processes. This approach extends the original calculus in a manner such that bisimulation arrangements in pi-calculus remain untouched.

ing Communications in Mobile Processes Vasco T. Vasconcelos, University of Lisbon Witnessing the increase of complexity on the objects that names may carry in process algebras — from CCS, through the (monadic and then the polyadic) picalculus, to the calculus of objects (where names carry a label together with a tuple of names) — we propose a framework where communications are taken from an abs...