2007年10月18日 ，在苏州召开的2007中国计算机大会上，2007年度中国计算机学会王选奖揭晓并举行了隆重的颁奖仪式。我系应明生教授完成的“通讯并发系统中的拓扑结构、随机性与噪音”理论研究成果荣获一等奖。

通讯并发系统的形式化模型是理论计算机科学的主流研究方向之一。该成果的主要学术贡献包括 : (1)提出并系统地发展了进程演算中的拓扑理论，用于刻画 通信并发系统近似正确性与进化过程。(2) 提出了元逻辑层应用概率逻辑的思想并发展了相应的数学工具，建立了概率谓词转换器的范式定理及概率程序的对策论语义。(3)Pi- 演算是由 Turing 奖得主 Milner 等提出的， 但其中暗含的一个假设是信道无噪音。该成果提出并系统发展了带噪音的 Pi- 演算。

该成果在国际上产生了实质性的影响, 如关于概率程序与进程的工 作被国外学者公开发表的评论称为:"beyond what we have seen so far”, "really novel ideas”, "a new angle, … which other researchers in this filed may not have”。