唐保兴 袁伟 夏心杰 卫琳 邵志清 宋国新 黄小戎 赵毅

性能评价 变换子 完备性 离散事件调度 最小不动点 脉动化 因果关系 并行程序开发

江西南昌 上海交通大学 中国科学技术大学 山东科技大学计算机系 江西师范大学计算机科学系 上海交通大学计算机科学与工程系 华东理工大学计算机科学与工程系 澳门联合国大学国际软件技术研究所