Contents Next


This manual documents the release 1.05 of the join-calculus language; it is organized as follows:


This is a first prototype implementation; it does not fully implement the distributed semantics (no remote failure detection). The implementation also has serious problems of efficiency (simple interpreter, no distributed GC).


The distributed implementation of the join-calculus is copyright 1997 Institut National de Recherche en Informatique et en Automatique (INRIA). INRIA holds all ownership rights to the join-calculus language system. See the file LICENSE in the distribution for licensing information.

The join-calculus system can be freely copied, but not sold. More precisely, INRIA grants any user of the join-calculus language system the right to reproduce it, provided that the copies are distributed free of charge and under the conditions given in the LICENSE file. The present documentation is distributed under the same conditions.

The join-calculus system uses Objective Caml. See the file LICENSE in the Objective Caml distribution for its licensing information.


The complete distributions for both the join-calculus and Objective Caml reside on the machine

Follow this link to access the distribution. More information on the join-calculus language is also available here.

Please report feedback and bugs to


We thank the Objective Caml development team for their support and advice. We are particularly grateful to Xavier Leroy, who allowed us to freely use much of the source files he wrote.

Contents Next