理学 类型理论 释 π-calculus Π演算 基于通信进程演算（CCS）的可描述通信拓扑结构动态变化的分布式通信系统的传名演算。
理论计算机科学 程序理论 释文 π-calculus π演算
- essence, qi and spirit
- ESSENCE supernova survey
- ESSENCE超新星巡天
- Essenes
- essential
- Essential Account on Calligraphy
- essential amino acid
- essential amino acid index
- essential boundary condition
- essential capacity
- essential chemical element
- essential component
- essential constant
- essential convergence
- essential cover
- essential cycle
- essential disk
- essential divisor
- essential drugs
- essential element
- essential elements of agrometeorology
- essential epimorphism
- essential equilibrium
- essential extension
- essential extension of a module