The MOSCOVA project |

The MOSCOVA project was formerly the PARA project.

Our project is interested in the development, compilation, and semantics of concurrent and functional languages for distributed environments, with possible migrations.

Currently, we are investigating 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 on-board software.

- Alain Deutsch (abstract interpretation)
- Damien Doligez (garbage collection, theorem provers)
- Georges Gonthier (join-calculus, formal methodes, security)
- Jean-Jacques Lévy(lambda calculus, join-calculus)
- Luc Maranget (Lazy ML, GAML, Join Compiler)

- Sylvie Loubressac (secrétaire)

- Sébastien Ailleret (active networks, typed bytecode)
- Sylvain Conchon (security for mobile agents, JoCaml)
- Fabrice Le Fessant (distributed garbage collection, JoCaml)
- James Leifer (failure detection, distributed algorithms, process calculi)
- Gilles Peskine
- Ma Qin
- Alan Schmitt (Join calculus, Ambients, JoCaml 2)

- Thérèse Hardin (Paris 6)

- Bruno Blanchet, Francis Dupont, Cédric Fournet, Olivier Guillaumin, Paul-André Melliès, Bruno Pagano, Marc Pouzet
- Andrea Asperti, Robert Ehrlich, Sylvain Huet, Uwe Nestmann