祝义 季海波 胡军 黄志球 曹子宁 刘亚萍 李俊 张广泉

网构软件 副本放置 形式化规约 资源 检测 代价 实时系统 负载平衡

安徽合肥 中国科学技术大学自动化系 徐州师范大学计算机科学与技术学院 南京航空航天大学信息科学与技术学院 南京大学计算机软件新技术国家重点实验室