Here is a list of articles in the category Process calculi of the Computing portal that unifies foundations of mathematics and computations using computers.
The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems.
The following 22 pages are in this category, out of 22 total.