MOSCOVA project (INRIA Rocquencourt)

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:

  1. a language that closely follows the original calculus;
  2. a richer language, JoCaml, that combines primitives in the calculus with a version of Caml.

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.

Members of the MOSCOVA project

Permanent members


PhD students and Post-docs

External collaborators

  • Thérèse Hardin (Paris 6)

Former PhD students and members


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 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