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