Explore relationships

Join calculus

The join-calculus is a process calculus developed at INRIA.

Use + to expand a branch. Click a topic name to open its summary.