您要查找的是不是：
- Ambient演算Ambient calculus
- 离散时间Ambient演算discrete timed mobile Ambient
- Pi演算Pi calculus
- Spi演算Spi calculus
- 序演算order calculus
- 实验和数学演算过程的细枝末节(弗雷德里克·特纳)The minutiae of experimental and mathematical procedure(Frederick Turner)
- 演算体系calculation system
- 网络演算network calculus
- 情景演算Situation calculus
- 反演算法inverse algorithm
- 情境演算situation calculus
- 环境演算Ambient Calculus
- 演算方法operational method
- 程序演算programming calculi
- 定性演算Qualitative mathematical calculations
- 精化演算Refinement calculus
- 封箱演算Seal - Calculus
- Seal演算Seal calculus
- 水量演算water volume calculation
- 最后，本文用AOC演算给出了一个对象语言OL的语义描述。At last, the semantic description of object language OL is presented with AOC calculus.
