电脑体验，效果更佳

互模拟图谱-自然科学领域：

研究人员

姚从军 傅育熙 韩婷婷 刘保罗 陈韬略 周清雷 朱维军 吕建 钟发荣 李斌

相关术语

并发计算理论 进程代数 并发计算理论 模型验证 公理化 元模型 进程代数 环境演算 并发计算 离散步长 Chi进程 有界态射 自动机理论 模态逻辑 进程演算 信号自动机 标号转移系统 时间自动机 同态

上位概念

并发计算理论 进程代数

标签云