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

存取权限 分布式仿真 分布式系统 模型检验 线性空间 控制字 计算模型 事务系统

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