Category:Process calculi
From Wikipedia, the free encyclopedia
The main article for this category is Process calculus.
The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems.
Pages in category "Process calculi"
The following 17 pages are in this category, out of 17 total. This list may not reflect recent changes (learn more).
