Foreword

The JoCaml system is an attempt to provide all join-calculus constructs for concurrency, communication, synchronization and process mobility directly as a syntactical extension of the Objective Caml language (version 1.07). Consequently, this manual does not describe the Objective CAML part of the system, which is available in a separate manual, but only how to use the JoCaml system with some knowledge of the Objective CAML system.

Basically, the Join-Calculus is a special library with which Objective-Caml programs must be linked to use Join constructs. Even if the native code compiler is incorporated in the distribution, the ``join'' library is only available in bytecode. However, the JoCaml system enables programs to run both native code and bytecode in a same runtime, with some limitations.

Finally, any question or bug report for any part of the distribution should be sent to jocaml-dev@inria.fr, and not to any Objective-Caml mailing list. For general discussion on JoCaml, you can subscribe to the JoCaml mailing list: send a message with ``subscribe'' in the body to jocaml-request@inria.fr. The mailing list address is jocaml@inria.fr and is archived at http://pauillac.inria.fr/bin/wilma/jocaml/.