Projet Moscova

Le Join-Calculus

Go to the The JoCaml page

English Flag Click here for the english version

Le join-calculus est un langage experimental basé sur le calcul de même nom. Il fournit une base simple pour la programmation distribuée.

Le modèle de programamtion du join-calculus fournit des processus concurrents tournant sur plusieurs machines, la vérification statique de type, la portée lexicale globale, la communication distante transparente, la mobilité par agents, et la détection des pannes.


Implémentations

Nous avons développé deux implémentations du Join-Calculus dans l'environnement Objective-CAML.


Documentation (en anglais)


Publications sur le WEB


Contact et rapports de bug: jc-team@inria.fr