理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- ternary monomial group
- ternary notation
- ternary number
- ternary number system
- ternary operation
- ternary phase diagram
- ternary projective group
- ternary quadratic form
- ternary relation
- ternary representation of numbers
- ternary ring
- ternary semiconductor compound
- ternary set
- ternary superconductor
- ternary system
- ternary tree
- ternately compound leaf
- ternate vein
- Ternifine Homo erectus
- ternion
- Ternopil
- terns
- Terotechnology
- terpene
- terpene derivatives