Join Calculus
The Join Calculus is a kind of declarative model (an abstract VM) of Actors, supporting type-safe distributed programming and expressing concurrency.The JoCaml programming language is based on it.
This page is linked from: Actor Bisimulation