This manual documents the release 1.05 of the join-calculus
language; it is organized as follows:
- Part I, ``An introduction to the
join-calculus'', gives an overview of the language in two parts.
First, it presents the concurrent language. Then, it introduces the
distributed model on a few examples.
- Part II, ``User's manual'' is the
reference description of the join-calculus language and its libraries.
- Part III, ``Tools'' documents
the compiler, the runtime systems, and programming utilities.
StatusThis 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).
LicenseThe 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.
AvailabilityThe complete distributions for both the join-calculus and Objective
Caml reside on the machine ftp.inria.fr.
Follow this link
to access the distribution.
More information on the join-calculus language is also available
Please report feedback and bugs to firstname.lastname@example.org.
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.