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 develop an implementation based upon this calculus: JoCaml.
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.
The Moscova project is partially supported by ANR-06-SETIN-010, and by the Equipes Associées MM.
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 (0)1 39 63 57 19.
Post: INRIA Bat 8 Domaine de Voluceau BP 105 78153 Le Chesnay Cedex France Tel (sec): +33 1 39 63 57 19 Fax: +33 1 39 63 54 69 Email: First.Last@inria.fr