Category:Process calculi

From Wikipedia, the free encyclopedia

The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. The main article for this category is Process calculus.