理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- exact expression
- exact form
- exact formula
- exact function
- exact functor
- exact homology sequence
- exact homotopy sequence
- exact inference for categorical data
- exactitude
- exact limit
- exact linearization
- exact line search
- exactly divisible
- exactly one
- exactly solvable model
- exactly solved model
- exactly when
- exact measure
- exactness
- exactness axiom
- exactness of a sequence
- exactness of reproducibility
- exactness of reproduction
- exactness theorem
- exact number