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