Category:Process calculi

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

This category content has been reduced to only pages contained in the ZIM file.