理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- gill
- gill arch
- gill chamber
- gill cover
- Gill crater
- Gilles Binchois
- Gilles Deleuze
- Gilles Fauconnier
- Gilles Louis Rene Deleuze
- Gillespie algorithm
- Gillespie算法
- gill filament
- Gillian Sankoff
- Gillies
- Gilligan's theory of moral development
- gilling machine
- gill lamella
- Gill method
- gillnet design
- gillnet fishing
- gillnet fishing machinery
- gillnet selective performance
- gill netter
- gill raker
- gill slit