Isaac Newton Institute for Mathematical Sciences

Semantics of Computation

1 July - 31 December 1995

Organisers: S Abramsky (Imperial College, London), G Kahn (INRIA, Sophia-Antipolis), J C Mitchell (Stanford), A M Pitts (Cambridge)

Semantics of computation Seminar

Wednesday August 30, 11:00 am

Towards a distributed pi-calculus:

The reflexive CHAM and the join-calculus
Cedric Fournet, INRIA Rocquencourt
(joint work with Georges Gonthier)

By adding reflexivity to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with mobility and distribution. Our model provides the foundations of a programming language with functional and object-oriented features. It can also be seen as a process calculus, the join-calculus, which we prove equivalent to the pi-calculus of Milner, Parrow and Walker. We then discuss extensions of the model with locations as first-class values and explicit localization of resources.

Copyright © Isaac Newton Institute