理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- Cheng Jihua
- chengjin
- Cheng Jinfang
- Chengjing
- Cheng Jinpei
- Cheng Jixian
- Cheng Ju
- Cheng Jufu
- Cheng Junfang
- Chengjunqing
- Cheng Kaijia
- Cheng Kang
- Cheng Keze
- Chengkou Xian
- Cheng-Lee Ho
- Cheng Ling
- chengling
- Chengling Ji
- Chengling Pagoda of Linji Temple
- Chengmai Wan
- Chengmai Xian
- chengman
- Cheng Maolan
- Chengmaolan
- Cheng Miao