Home
process calculus

process calculus

diverse family of related approaches for formally modelling concurrent systems

en-US/ˈpɹɑˌsɛs ˈkælkjələs/

en-GB/ˈpɹəʊsɛs ˈkælkjʊləs/

Categories:

technique mathematical model universal algebra