刘莉萍 彭蓉 刘小丽 周祥和 余永宏 傅建明 黄干平 张黔 金涛 余亮 杨敏

模型 转移系统 有序性 并发面向对象程序设计 谓词完备化 Petri网 继承异常 调度算法 状态空间 相容性 子范畴 时间语义 非单调推理 同步状态 关联规则 并发对象演算 安全性 变换语义 编译指示 同步策略 时序分析 FP-tree 频繁闭合项目集 人工智能 时间Petri网 划分 压缩规则 操作语义 并发面向对象语言 分布系统

湖北武汉 武汉大学数学与计算机科学学院国家多媒体软 武汉大学计算机学院 武汉大学数学与计算机科学学院 武汉大学数学与计算机科学学院国家多媒体软... 武汉大学国家多媒体软件工程技术研究中心 武汉大学计算机科学及技术系 武汉大学计算机科学与技术学院