理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- Yangshan Gang
- Yang Shanshen
- Yangshan Xian
- Yang Shanzhou
- Yangshao
- Yangshao Culture
- Yangshaocun Site
- Yangshao Daxiagu
- Yang Shaoming
- Yang Shaoxuan
- Yang Shen
- Yang Sheng
- Yang Sheng'an Shrine and Gui Lake
- Yang Shengli
- Yangsheng Lun
- Yang Sheng’an Taking an Excursion with Flowers on His Head
- Yang Shenxiu
- Yang Shi
- Yang Shibai
- Yang Shie
- Yang Shihui
- Yang Shiji
- Yang Shipeng
- Yang Shipu
- Yang Shiqi