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

Members of the MOSCOVA project

Permanent members


PhD students and Post-docs

Former PhD students, members, and close collaborators


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

Tel (sec): +33 1 39 63 57 19
Fax:       +33 1 39 63 54 69