理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- global associational revolution
- Global Astrometric Interferometer for Astrophysics
- global-as-view mapping
- global atmospheric general circulation model
- global base
- global behavior
- global best-first search
- global bifurcation
- Global Biodiversity Information Facility
- global boundary behavior
- global budget
- Global Business
- global calculus of variations
- global carbon cycle
- global carbon emission control model
- global carbon project
- global chain orientation
- global change
- global change and terrestrial ecosystems project
- Global Change Biology Bioenergy
- global change manipulative experiment
- Global Change Observation Mission Satellite
- global change remote sensing
- Global Change Research Program Global Change Research Program
- global character