The Process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems.
The following 20 pages are in this category, out of 20 total. This list may not reflect recent changes.