理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- lever of force
- lever principle
- lever relationship
- Le Verrier
- Leverrier ring
- lever rule
- lever scale
- lever stop
- lever-type steam distributing gear
- Levi
- Leviathan
- Levi Ben Gershom
- Levi Ben Gerson
- Levi Civita
- Levi-Civita
- Levi Civita connection
- Levi-Civita connection
- Levi-Civita crater
- Levi-Civita density
- Levi-Civita parallel displacement
- Levi-Civita parallelism
- Levi-Civita pseudotensor
- Levi-Civita regularization
- Levi-Civita symbol
- Levi Civita tensor