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/

カテゴリ：

techniquemathematical modeluniversal algebra