Category:Process calculi
Jump to navigation
Jump to search
The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems.
This category currently contains no pages or media.