Le projet MOSCOVA |
Le projet MOSCOVA est la nouvelle incarnation de l'ex-projet PARA
Notre projet s'intéresse au développement, à la compilation et à la sémantique des langages fonctionnels concurrents pour les environnements distribués, avec possibilités de migrations.
Actuellement, nous développons un nouveau modèle de programmation distribuées, dérivé du pi-calcul, appelé le Join-calculus. Nous possédons déjà deux implémentations de ce langage, et des résultats théoriques.
Nous travaillons aussi sur la validation et la mise au point de vrais programmes concurrents, tels que le glaneur de cellules concurrent de Caml ou le logiciel de bord d'Ariane 5.