Join-Calcul implementations for UNIX platforms

Two implementations are currently available:

The join calculus language

Release 1.05

Warning: This release only works with the latest version of Objective-CAML version (3.00)

Release 1.04

Warning: This release only works with Objective-CAML version 2.00 to 2.99

Release 1.02

Warning: This release only works with Objective-CAML release 1.05

The JoCaml system

For further informations on the Join-Calcul, take a quick look at its reference page.