电脑体验，效果更佳

传值进程图谱-计算机领域：

研究人员

张轶 李舟军 陈火旺 钟广军 薛锐 方海 许文 林惠民 王兵山

相关术语

谓词等式系 互模拟 复杂数据结构 谓词等式系 进程代数 模型检测 符号迁移图 Tableau 观察同余 谓词μ演算 μ-演算 推演完备 符号互模拟 验证算法 互模拟 带赋值符号迁移图

下位概念

谓词等式系 互模拟

标签云