陈磊 鄢勇 张静 谢卫 黄国祥 徐碚 彭国强 黄凯 刘中柱

存取权限 分布式仿真 分布式系统 模型检验 线性空间 控制字 计算模型 事务系统 并发控制 资源管理器 局部分析 分布式 顺序程序 同步机制 新变量 最大不动点 故障恢复 异步收敛定理 初始分配 可序列化 并发控制机制 动态优先级 call 图 海基中段防御 运行控制 相关分析 查询 分类 执行路径 嵌套事务模型

华中工学院 华中理工大学 华中理工大学计算机系 华中科技大学计算机学院 武汉华中理工大学计算机系 国防科技大学航天与材料工程学院 广东广州 中山大学计算机应用研究所