The <a href="http://para.inria.fr/join/eng.htm">Join Calculus</a> is a kind of _(declarative) model (an *(abstract VM)) of *(Actor)s, supporting type-safe _(distributed) programming and expressing *(concurrency).

The _(JoCaml) programming language is based on it.