屈玉贵 宋国新 赵保华 顾翔 喻萌 虞厥邦 高晓春 王正宇 孙亚军 卢显良 黄皓 崔隽 孟江涛 曹磊

通信语句 形式化描述语言 仿真 死锁 协议工程 完整性 Occam 神经网络 公理系统 通信事件 基本动作 虚拟机监控器 形式化描述 进程 不干扰模型 IO吞吐量 可靠性 形式化验证 并行处理 Transputer 迹集合 分布式系统 证明规则