电脑体验，效果更佳

进程代数图谱-自然科学领域：

研究人员

潘雪增 金岩 吴泉源 陈小平 陈波 吕建 姜励 傅育熙

相关术语

运行时错误 标号转移系统 回报结构 模态逻辑 不可判定性 软件设计 π演算

上位概念

并发计算理论

下位概念

互模拟

标签云