庆贺西北大学计算机科学系成立三十周年学术报告会

报告题目：π-演算模型介绍及其表达能力的研究

报告人：西北大学信息学院计算机科学系 郝克刚 教授

报告时间：2010年7月7日星期三上午九时

报告地点：。

听众：计算机科学与技术有关专业的教师、研究生和高年级学生，

关于π-演算：

π-演算 (π- calculus）是图灵奖得主米勒（Robin Milner）在众多的模型基础上建立的新模型，它非常简洁，但表达能力很强。π -演算开始是为移动通信系统建立的模型，后发现很适合作为各种动态耦合系统的模型。Internet 和在它上面运行的应用系统多是典型的动态耦合系统。

π-演算的经典论著“通信与移动系统：π-演算”最近由科学院软件所林惠民院士翻译出版。该书作者米勒为中译本所写的序言中，对中国学者给与了很大的期待：“作为在世界上发挥日益重要作用的伟大国家，中国具有引领为新技术建立科学基础的机会……。”

我们西北大学一向具有重视基础理论的优良传统，我衷心希望大家能够继续坚持这点优势，强调学习理论的重要性。我愿意同大家共享学习心得。

       讲稿：