通信与移动系统：π演算

　　术语表
　　序言
　　第一部分 通信系统
　　第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 多目π-演算
　　9.5 递归定义
　　9.6 抽象
　　9.7 小结
　　第10章 π-演算的应用
　　10.1 简单的系统
　　10.2 唯一使用
　　10.3 再论数据
　　10.4 表编程
　　10.5 持久的和可变的数据
　　第11章 类.对象和函数
　　11.1 通道类型的层次结构
　　11.2 类和赋类
　　11.3 拓展类语言
　　11.4 面向对象程序设计
　　11.5 进程和抽象作为消息
　　11.6 函数式计算作为名字传递
　　第12章 承诺与强互模拟
　　12.1 抽象与凝结
　　12.2 承诺的规则
　　12.3 强互模拟，强等价
　　12.4 同余
　　12.5 复制的基本同余性质
　　12.6 资源的复制
　　12.7 小结
　　第13章 观察等价及例子
　　13.1 试验
　　13.2 弱互模拟与同余关系
　　13.3 方程解的唯一性
　　13.4 表编程
　　13.5 命令式程序设计
　　13.6 可伸缩的缓冲区
　　13.7 久演算中的归约
　　第14章 讨论及相关的工作
　　参考文献

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