潘雪增 金岩 吴泉源 陈小平 陈波 吕建 姜励 傅育熙 陈韬略 高远 徐凌宇 韩婷婷 冯扬悦 赵保华 王国仁 平玲娣 曹玉辉 吴刚 颜锋 李斌 陆超 王怀民 王卫红 杨孝宗 赵会群 李达 张春燕 覃征 李善平

并发计算理论 互模拟 运行时错误 标号转移系统 回报结构 模态逻辑 互模拟 不可判定性 软件设计 π演算 马尔可夫链 动态环境 性能评价 移动环境演算 染色Petri网 类型演化 弱互拟 图模型 类型系统 χ演算 元模型 内涵性 随机过程 环境演算 Markov过程 协议 CCS 软件体系结构 上下文感知 并发计算理论

并发计算理论

互模拟