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 20 pages are in this category, out of 20 total. This list may not reflect recent changes.