基本信息出版社：清华大学出版社
页码：160 页
出版日期：2009年10月
ISBN：7302207259/9787302207252
条形码：9787302207252
版本：第1版
装帧：平装
开本：32
正文语种：中文
内容简介 《通信与移动系统：π演算》由图灵奖获得者Robin Milner编著，中国科学院院士林惠民教授主译。通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间，也可能发生在同一合计算机的各个部件之间。在《通信与移动系统：π演算》中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作由相互通信的部分所组成的。并发展了一个理论，即π演算。π演算是一个简单却又具有强大的表达能力的演算。在π演算中，对计算机程序中数据的移动与互联网上的消息（甚至是计算机程序)的传送的处理是完全相同的。
《通信与移动系统：π演算》是关于π演算的第一本教科书，它的出版是该领域的专业人员和学生所期待已久的盛事。
编辑推荐 《通信与移动系统:π演算》是由清华大学出版社出版的。
目录
术语表
序言
第一部分 通信系统
第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章 讨论及相关的工作
参考文献
……
序言 计算机网络的出现与飞速发展，不仅改变了我们的生活和工作的方式，而且也改变了我们对计算现象的认识，在网络时代之前，人们关心的主要是顺序计算，在这种模式下，计算被看作是从输入到输出的函数；永远不终止的计算被认为是没有意义的，因为它不产生任何输出，而在网络出现之后，人们关心更多的是并发计算，在并发计算中，计算主体（进程）在与外界不断的交互中完成所指定的计算任务；而在移动计算中，进程所与之交互的外部环境也在动态地改变，对于这类计算现象，传统的基于“函数”的理论不再适用，如何理解并发、移动计算，为其建立严格的数学模型，从而为实际并发系统的设计与分析提供坚实的理论基础，是近30年来计算机科学面临的重大挑战。
由图灵奖获得者Milner教授与其合作者提出的丌演算，代表了迄今为止学术界对这一挑战的最为成功的回应，丌演算推广了通信进程演算（CCS），允许在通信中传递通道的名字，这一看似简单的推广，使得丌演算能够描述通信拓扑结构的动态改变，具有强大的表达能力，同时又继承了CCS简洁优美的语义理论——互模拟，丌演算已经被应用到程序设计语言的设计、分布式系统的分析与验证等领域，产生了广泛的影响，
本书是关于丌演算的第一本专著，Milnel教授通过大量的例子，深入浅出地介绍了丌演算的基本概念和理论，穿插在全书各章的讨论中，处处闪烁着这位将其毕生精力倾注于计算机科学基础研究的大师对这门学科及其发展的精辟见解，我们希望中译本的出版能有助于国内读者，特别是研究生和年轻科研人员，学习和掌握丌演算的基本原理，并从中受到启发。
文摘 插图：
第一部分 通信系统
第1章引论
本书介绍一个用来分析并发通信进程的演算，这些进程可以增长、缩小和移动。
通信系统的建造还没能确立为一门科学，甚至还不是一项成熟的工艺，我们现在还没有一套被普遍认可的表达和构造并发系统的手段，而对于顺序计算机程序这（基本上可以说）是已经解决了的问题，
如今绝大多数计算现象都涉及交互，因而都涉及拥有多个同时活动的部件的系统，这就提出了计算机科学必须面对的一个挑战，即建立一个具有少量基本概念的基础模型，可以用来严格地描述交互式行为，
对于计算式行为来说，类似的事情在很久以前已经完成了，逻辑学家们提出了图灵机、寄存器机（在他们之上建立了命令式程序设计语言）和λ演算（在其之上建立了参数过程的概念），所有这些模型都没有考虑我们通常所理解的交互现象，它们的基本活动包括读写存储介质（存储带或寄存器），或者用实际的参数来调用一个过程，而我们的模型将与之完全不同，其基本动作是在端口上握手通信，这意味着参与的双方在这个动作上同步。