理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- Yu Tianwei
- Yu Tianxi
- Yutian Xian
- yutingzi (house with fountain-like installation on the top)
- Yu Tiɑnren
- Yutou Dao
- Yu. V. Linnik
- Yu. V. Linnik (1915—1972)
- Yu Wanchun
- Yuwangcheng
- Yuwangcheng Yizhi
- Yuwangtai Qu
- Yu Wanzeng
- Yu Weihan
- Yu Weimin
- Yuwen Huaji
- Yuwen Kai
- Yuwen Tribe
- Yuwen Xianbei
- Yuwen Xuzhong
- Yuwen Yong Emperor Wu in Northern Zhou
- Yuwen Yu
- Yu Wuling
- Yu Wu Zheng
- Yu Xi