The <a href="http://para.inria.fr/join/eng.htm">Join Calculus</a> is a kind of declarative model (an *(abstract VM)) of _(Agent-oriented programming), so it supports type-safe distributed programming.

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