process calculus

diverse family of related approaches for formally modelling concurrent systems

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

زمرے:

techniquemathematical modeluniversal algebra