理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- Bo Qin
- boracyclohexane
- boracyclohexane; borinane
- borage family
- boral
- Borama Uprising
- boramino acid
- borane
- Borasisi
- borate
- borate glass
- borate mineral
- borate minerals
- BORAX
- borax
- borax bead test
- borax-bead test
- borazine
- Borazon
- Borborema Plateau
- borborygmus
- Borchardt
- Borchardt modulus
- Borchardt-Pfaff modulus
- Borcherds