闫炜 高新岩 乔瑞 王家信 袁红 吴学友

准素理想 符号模拟 零维多项式 传输系统 Ritt——Wu零点分解算法 偏序时序逻辑 结构操作语义 操作语义 格局 流事件结构 互模拟等价 指称语义 理想 公理系统 变量划分 概率格局变迁系统 合取范式 SAT 动作精化 概率带测试克林代数

中国科学院成都计算机应用研究所 电子科技大学计算机科学与工程学院 四川成都 中国科学院系统所 中国科分院成都计算机应用研究所 齐齐哈尔教育学院 绥化师专