理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- multiply connected domain
- multiply connected region
- multiply connected Riemann surface
- multiply connected sequence
- multiply connected space
- multiply connected surface
- multiply deprotonated molecule
- multiply harmonic function
- multiplying
- multiplying element
- multiplying interferometer
- multiplying interferometry
- multiplying machine
- multiplying order
- multiplying unit
- multiply monotone sequence
- multiply ordered class
- multiply perfect number
- multiply periodic function
- multiply primitive group
- multiply projective space
- multiply protonated molecule
- multiply rooted graph
- multiply transitive
- multiply transitive group