Tags: Programming Language.
The join-calculus is a process calculus developed at INRIA. The join-calculus was developed to provide a formal basis for the design of distributed programming languages and therefore intentionally avoids communications constructs found in other process calculi such as rendezvous communications which are difficult to implement in a distributed setting. Despite this limitation the join-calculus is as expressive as the full -calculus.