Category:Process calculi

The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems.