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