The join-calculus language, release 1.01

It is our pleasure to announce the first release of the join-calculus
(version 1.01).

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

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.