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 current development version (beta release 1). Check it out!

A small documentation on Jocaml : in POSTSCRIPT and in HTML


Related Papers

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


Contact address and bug reports: jc-team@inria.fr