Category:Process calculi

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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