The join-calculus language, release 1.01
Subject: The join-calculus language, release 1.01
From: Luc Maranget <Luc.Maranget@inria.fr>
Date: Wed, 18 Jun 1997 18:15:14 +0200 (MET DST)
Delivery-Date: Wed, 18 Jun 1997 11:15:39 -0500
It is our pleasure to announce the first release of the join-calculus
The join-calculus is an experimental programming language, based on
the homonymous process calculus. It provides a simple support for
The main characteristics of the join-calculus are:
* fine-grained concurrency
* static type-checking, modules and separate compilation a la ML
* typed interface with Objective Caml
* execution on several, heterogeneous machines
* network-transparency (up-to failure).
* global lexical scope
* locality under the control of the language
* mobile agents and sub-agents
* failure detection.
The present release is a prototype implementation; its
main limitations are:
* corish syntax (e.g., no loop construct)
* no obsession about performances
* no remote detection of physical failures
The join-calculus is implemented in Objective Caml, and
should run on most Unix architectures. It has been tested on sun4
(SunOS 4.1.x), alphas (DEC OSF) and i*86s (Linux).
More information on the join-calculus (including tutorials, user's
manuals, and some bibliography) is available on the Web, at
The distribution resides at
It contains the complete source distribution, including a license, and the
manuals in miscellaneous formats (ps, dvi, html).
The join-calculus requires Objective Caml 1.05, which is available at
ftp://ftp.inria.fr/lang/caml-light. More information on Objective Caml
is available at http://pauillac.inria.fr/ocaml/.
Enjoy!... and please report questions, bugs and feedback to
CÚdric Fournet and Luc Maranget
INRIA Rocquencourt, projet Para, B.P.105, 78153 Le Chesnay, France.