Explore relationships
Process calculus
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems.
Use + to expand a branch. Click a topic name to open its summary.