Category:Process calculi
{{Cat main|Process calculus}}
The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems.
Category:Concurrency (computer science)
Category:Formal specification languages