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: