An algebraic theory to formalize the notion of concurrent computation, best exemplified in CSP and CCS.
(Gold) 1123 分数 