高昕 杨萍 张世琨 黄舒志 黄雨 赵文 刘刚 王立福 周国富 吴启明 张庆明 王生原 杨良怀 王小明 余鹏 赵宗涛 苏建雷

PT系统 公理语义 Petri网 程序规范 Petri网模型 并发性 操作公理 NETS 面向对象 语义公理 不变性 物理对象上的操作表达式 化简规则 独立O-表达式 PETRI 死锁 O-表达式 安全性 物理对象上的操作 赋值 命令式程序 渐增式继承 进展性 知识库一致性 专家系统 关联矩阵 范畴论 操作表达式 继承反常 物理对象

北京大学计算机科学技术系 新加坡国立大学计算学院计算机科学系 清华大学计算机科学与技术系 兰州大学信息科学与工程学院 甘肃兰州 北京大学信息科学技术学院 第二炮兵工程学院计算机科学系 武汉大学计算机学院