通信与移动系统

术语表序言第一部分　通信系统　第1章 引论　第2章 自动机的行为 2.1 自动机 2.2　正规集 2.3　自动机的语言 2.4　确定性和非确定性 2.5　黑盒或反应系统 2.6　小结　第3章　顺序进程和互模拟 　3.1　标号迁移系统　 3.2　强模拟　 3.3　强互模拟

术语表序言第一部分　通信系统　第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　多目π-演算　……参考文献

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