Moscova Project

version francaise Cliquer ici pour la version française

The Join-Calculus

Go to the The JoCaml page

The join-calculus is an experimental language based on the homonymous process calculus. It provides a simple support for distributed programming.

The join-calculus programming model features concurrent processes running on several machines, static type-checking, global lexical scope, transparent remote communication, agent-based mobility, and some failure-detection.


Implementations

We have developped two implementations of the Join-Calculus in the Objective-CAML envirronment.


Documentation


Related Papers on the WEB


Contact address and bug reports: jc-team@inria.fr