刘亚萍 张君华 董红斌 袁敏 朱梧槚 周航 吕义忠 肖芳雄 石纯一 黄志球 祝义

进程代数 符号状态交集 LOTOS 软件体系结构 成本 相对化 自动检测与修正 开放逻辑 Kripke语义 不确定性 概率Aumann语义 正规概率模态语义 Web服务 价格 UML-RT 程序规范 服务组合 等价事务 非一致复杂类 信念逻辑 膜活动 Web 反例 定理机器证明 模型检测 概率信念逻辑 形式化规约 one-way函数 计算复杂性 实时系统

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