《通信与移动系统：π演算》由图灵奖获得者Robin Milner编著，中国科学院院士林惠民教授主译。通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间，也可能发生在同一合计算机的各个部件之间。在《通信与移动系统：π演算》中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论，即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中，对计算机程序中数据的移动与互联网上的消息（甚至是计算机程序)的传送的处理是完全相同的。
《通信与移动系统：π演算》是关于π演算的第一本教科书，它的出版是该领域的专业人员和学生所期待已久的盛事。

术语表序言第一部分 通信系统 第1章 引论 第2章 自动机的行为 第3章 顺序进程和互模拟 第4章 并发进程与交互 第5章 迁移和强等价 第6章 观察等价：理论 第7章 观察等价：例子第二部分 π-演算 第8章 论移动性 第9章 π-演算与交互参考文献