...
机译:计算软件组成的演算
Software components; Process calculi; Software architecture;
机译:计算软件组成的演算
机译:适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论
机译:适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论
机译:持续时间演算中关于混合CSP的成分Hoare风格推理
机译:通过区域连接演算推理增强分类法一致性
机译:全球卫生专业中道德推理和身份的个人演算
机译:计算软件组成的演算