The Jocaml implementation

Jocaml is our second implementation of the join-calculus language. Currently, this implementation is still in a development phase.

The Jocaml system is a enhanced version of the Objective-Caml 1.07 distribution:

• The join-calculus constructs for concurrency, synchronizatiom, distribution and process mobility are all available directly in the Objective-Caml language.
• The Objective-Caml language is fully supported, so that you can recompile your favorite programs, and make them part of a distributed computation.
• Your join programs will run faster than on any other implementation of the join-calculus.

The current development version (beta release 1). Check it out!

A small documentation on Jocaml : in POSTSCRIPT and in HTML

Related Papers

• Our acyclic garbage collector: SSP Chains: Robust, Distributed References Supporting Acyclic Garbage Collection Marc Shapiro, Peter Dickman, and David Plainfossé. Rapport de Recherche INRIA 1799 and Broadcast Technical Report no. 1.

For more information on the join-calculus, refer to the official join-calculus page