Buy Me a Coffee at ko-fi.com

Process calculus

diverse family of related approaches for formally modelling concurrent systems

Pronunciation
/ˈproʊˌsɛs ˈkælkjələs/
/ˈprəʊsɛs ˈkalkjʊləs/