刘亚萍 张君华 董红斌 袁敏 朱梧槚 周航 吕义忠 肖芳雄

进程代数 符号状态交集 LOTOS 软件体系结构 成本 相对化 自动检测与修正 开放逻辑

黑龙江哈尔滨 南京航空航天大学计算机系 清华大学计算机科学与技术系 哈尔滨师范大学计算机科学系 南京航空航天大学信息科学与技术学院 南京航空航天大学计算机科学与工程系 南京航空航天大学计算机科学与技术系 北京100084中国科学院计算技术研究所...