理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- Huazhong two-end-black pig
- Huazhong University of Science and Technology
- Huazhong University of Science and Technology Library
- Huazhou Academy
- Huazhou Qu
- Huazi Zhen
- Hua’an’s Selection of Ci-Poems
- Hua’er folk song
- Hua’e Xianghui building
- hub
- hub and spoke network
- hub-and-spoke system
- Hu Baoyu
- Hubbard
- Hubbard Hamiltonian
- Hubbard model
- Hubbard Stratnovich transformation
- Hubbard-Stratnovich transformation
- Hubbard-Stratnovich变换
- hubbing
- hubble
- Hubble age
- Hubble Atlas of Galaxies
- Hubble classification
- Hubble constant