action transducer; bisimulation; context; interface language; downward compatibility; process-algebra; refinement;
机译:概率非干扰分析的过程代数方法
机译:结合光谱和改进的响应面模型方法直接测定超稀非反应性和反应性多组分系统中的部分摩尔体积和反应体积
机译:反应标量场中位移速度分解成分的演化方程
机译:关于反应部件的演变 - 一种过程 - 代数方法 -
机译:反应性和非反应性多组分聚合物系统中的相分离动力学。
机译:依赖食物的运动引起的荨麻疹/过敏反应的交叉反应性LTP致敏作用:成分分解和体外耗竭方法的初步研究
机译:概率非干扰分析的过程代数方法
机译:生命周期继承的过程 - 代数方法:继承=封装+抽象