Our project is interested in the development, compilation, and semantics of concurrent and functional languages for distributed environments, with possible migrations.
We have investigated a new model of distributed programming, derived from the pi-calculus, called the Join-calculus. We developed two implementations of this calculus:
We also have some theoretical results.
We also have interests in the validation and the debugging of real concurrent programs, such as the Caml concurrent garbage collector or the Ariane 5 rocket on-board software.
We are in building 8 of INRIA Rocquencourt (directions), which is just beyond the edge of Paris.
Email addresses are given on the personal pages references above and are all of the form First.Last@inria.fr. Our secretary, Sylvie Loubressac, can be reached by phone on +33 01 39 63 57 19.
Post: INRIA Bat 8 Domaine de Voluceau BP 105 78153 Le Chesnay Cedex France