缪淮扣 刘淦澄 孙永强 李黎 刘静 李勇坚 彭小青 陈昌生 金乃咏

事件触发 交叠式并发语义 效率评价准则 Verilog 代数语义 区间时态逻辑 完备性 形式方法 模型驱动架构（MDA） 延时演算 同余性 并行程序设计 指称语义 资源性能优化 BSP（bulk-synchronousparallel）模型 SystemC 事件驱动 FPGA 混合系统 范式归约 观察模型 可靠性 模型 构件 离散事件调度 实时系统 互模拟 UTP 事件调度 RAISE描述语言

上海交通大学计算机科学与工程系 澳门联合国大学国际软件技术研究所 华东师范大学软件学院 澳门联合国大学国际软件研究所 华东师范大学计算机系 澳门联合国大学国际软件研究所澳门 中国科学技术大学 上海大学计算机科学与工程学院