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

**部分 通信系统
第1章 引论
本书介绍一个用来分析并发通信进程的演算，这些进程可以增长、缩小和移动。
通信系统的建造还没能确立为一门科学，甚至还不是一项成熟的工艺，我们现在还没有一套被普遍认可的表达和构造并发系统的手段，而对于顺序计算机程序这（基本上可以说）是已经解决了的问题，
如今绝大多数计算现象都涉及交互，因而都涉及拥有多个同时活动的部件的系统，这就提出了计算机科学必须面对的一个挑战，即建立一个具有少量基本概念的基础模型，可以用来严格地描述交互式行为，
对于计算式行为来说，类似的事情在很久以前已经完成了，逻辑学家们提出了图灵机、寄存器机（在他们之上建立了命令式程序设计语言）和λ演算（在其之上建立���参数过程的概念），所有这些模型都没有考虑我们通常所理解的交互现象，它们的基本活动包括读写存储介质（存储带或寄存器），或者用实际的参数来调用一个过程，而我们的模型将与之完全不同，其基本动作是在端口上握手通信，这意味着参与的双方在这个动作上同步。
……

术语表
序言
**部分 通信系统
第1章 引论
第2章 自动机的行为
2.1 自动机
2.2 正规集
2.3 自动机的语言
2.4 确定性和非确定性
2.5 黑盒或反应系统
2.6 小结
第3章 顺序进程和互模拟
3.1 标号迁移系统
3.2 强模拟
3.3 强互模拟
3.4 顺序进程表达式
3.5 布尔缓冲区
3.6 调度器
3.7 计数器
3.8 小结
第4章 并发进程与交互
4.1 标号和流程图
4.2 观察和交互
4.3 并发进程表达式
4.4 结构同余
4.5 反应规则
4.6 小结
第5章 迁移和强等价
5.1 标号迁移
5.2 强互模拟及其应用
5.3 强等价的代数性质
5.4 同余
5.5 小结
第6章 观察等价：理论
6.1 观察
6.2 弱互模拟
6.3 方程解的**性
6.4 小结
第7章 观察等价：例子
7.1 彩票机
7.2 加工车间
7.3 调度器
7.4 缓冲区
7.5 栈和计数器
7.6 讨论
第二部分 π-演算
第8章 论移动性
8.1 有限的移动性
8.2 移动电话
8.3 移动性的其他例子
8.4 小结
第9章 π-演算与交互
9.1 名字、动作和进程
9.2 结构同余和反应
9.3 移动性
9.4 多目π-演算
……
参考文献