理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- zero method
- zero-minimality
- zero-minimal two-sided ideal
- zero mode
- zero module
- zero morphism
- zero multiplication
- zero net growth isocline
- zero-neutrino double β decay
- zero neutron-absorption cross-section
- zero object
- zero object of a category
- zero of a differential
- zero of a division ring
- zero of a field
- zero of a function
- zero of a lattice
- zero of an Abelian group
- zero of an Abelian integral
- zero of an algebraic system
- zero of an entire function
- zero of an ideal
- zero of a polynomial
- zero of a ring
- zero of a skew field