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.

Loading...

This page contains content from the copyrighted Wikipedia article "Join-calculus"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.