李慧琪 曹华 陆汝钤 昌杰 高伟 刘椿年 陈国良 徐丹

方法论 合作控制 管理员 分布式解题 模式表示法 结点 控制机制 根本问题

厦门大学计算机科学系 中国科学院数学研究所 中国地质大学计算机学院 石家庄经济学院计算机科学系 厦门大学信息科学与技术学院 武汉大学软件工程国家重点实验室