首页 > Term: communicating sequential processes (CSP)
communicating sequential processes (CSP)
C. A. R. Hoare's algebraic theory to formalize the notion of concurrent computation.
0
创建者
- GeorgeV
-
(Gold) 1123 分数 - 100% positive feedback
