理学 类型理论 释 π-calculus Π演算 基于通信进程演算（CCS）的可描述通信拓扑结构动态变化的分布式通信系统的传名演算。
理论计算机科学 程序理论 释文 π-calculus π演算
- garnet-type solid electrolytes
- Garnier
- Garnier opera house
- Garnier system
- Garnishment of an Official's Salary
- Garo
- Garorim Bay
- Garoua
- garrisoning troops in Jimusa
- garrisoning troops in Luntai
- garrisoning troops in Quli
- garrisoning troops in Yixun
- Garrisons
- Garrison System
- Garrison Towns
- Garry Kasparov
- Garry Winogrand
- Garside
- Garside-Jarratt-Mack method
- garter spring
- Gartner
- Gartner Ellis theorem
- Gartner-Ellis theorem
- Gartner enterprise architecture
- Garton effect