The Join-Calculus

The join-calculus first is a process calculus. It provides a simple support for distributed programming.

The join-calculus programming model features concurrent processes running on several machines, static type-checking, global lexical scope, transparent remote communication, agent-based mobility, and some failure-detection.

Implementations

We have developped three implementations of the Join-Calculus in the Objective-CAML environment.

• The new JoCaml is an extension of Objective-Caml. This implementation is the only that is actively maintained.
• Archives: the following two implementation are obsolete.
  • The join calculus language is our first join-language ever. It is an autonomous language.
  • The previous JoCaml system, now unmaintained, compatible with OCaml 1.07.