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/

Categorias:

techniquemathematical modeluniversal algebra