理学 类型理论 释 π-calculus Π演算 基于通信进程演算（CCS）的可描述通信拓扑结构动态变化的分布式通信系统的传名演算。
理论计算机科学 程序理论 释文 π-calculus π演算
- virtual laboratory
- virtual learning community
- virtual learning strategy
- virtual level
- virtual library
- virtual linear genus
- virtual local area network
- virtual local area network, VLAN
- virtual long range coupling
- virtual long-range coupling
- virtually addressing cache
- virtually asymptotic net
- virtually impossible act
- virtual machine
- virtual machine consolidation
- virtual machine management
- virtual machine migration
- virtual machine monitor
- virtual machine optimization
- virtual machine power management
- virtual machine scheduling
- virtual machine testing
- virtual mall
- virtual mass force
- virtual means