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/

Kategori:

techniquemathematical modeluniversal algebra