The Join-Calculus

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.

Our second implementation of the join-calculus: Jocaml : a modified version of Objective-Caml 1.07 with all join-calculus constructs.


This is our second release of the join-calculus language (1.02, bug-fix only). Check it out!


Related Papers

Related Works


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