首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81639,"Name":"计算机科学理论"},{"ID":81659,"Name":"程序设计理论"},{"ID":81661,"Name":"类型理论"}]
. 理学 . 计算机科学技术 . 计算机科学理论 . 程序设计理论 . 类型理论Π演算
/π-calculus/
最后更新 2024-12-03
浏览 102次
基于通信进程演算（CCS）的可描述通信拓扑结构动态变化的分布式通信系统的传名演算。
- 英文名称
- π-calculus
- 所属学科
- 计算机科学技术
京公网安备 11010202008139号
