理学 类型理论 释 π-calculus Π演算 基于通信进程演算（CCS）的可描述通信拓扑结构动态变化的分布式通信系统的传名演算。
理论计算机科学 程序理论 释文 π-calculus π演算
- propane-1,2,3,-triol
- propanedioic acid
- propanil
- propanoic acid
- propanol
- propargite
- propazine
- PropBank
- prop diagram
- propellane
- propellant
- propellant additive
- propellant binder
- propellant management
- propellant management test
- propellant rail transporter
- propellant settling
- propellant sloshing
- propellant sloshing test
- propellant tank
- propellant utilization system
- propellent
- propeller
- propeller anemograph
- propeller flow velocity meter