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.
Explore relationships
The join-calculus is a process calculus developed at INRIA.
Use + to expand a branch. Click a topic name to open its summary.