通信与移动系统:π演算

由图灵奖获得者Milner教授与其合作者提出的演算,代表了迄今为止学术界对这一挑战的最为成功的回应.演算推广了通信进程演算(CCS),允许在通信中传递通道的名字. 这一看似简单的推广,使得演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,同时又继承了CCS简洁优美的语义理论------互模拟.演算已经被应用到程序设计语言的设计、分布式系统的分析与验证等领域,产生了广泛的影响.
本书是关于演算的第一本专著.Milner教授通过大量的例子, 深入浅出地介绍了
演算的基本概念和理论. 穿插在全书各章的讨论中,处处闪烁着这位将其毕生精力倾注于计算机科学基础研究的大师对这门学科及其发展的精辟见解.我们希望中译本的出版能有助于国内读者,特别是研究生和年轻科研人员, 学习和掌握演算的基本原理, 并从中受到启发.
术语表


序言


第一部分 通信系统

第1章 引论3

第2章 自动机的行为8

2.1 自动机 8
2.2 正规集 10
2.3 自动机的语言11
2.4 确定性和非确定性12
2.5 黑盒或反应系统13
2.6 小结 15

第3章 顺序进程和互模拟 17

3.1 标号迁移系统17
3.2 强模拟 18
3.3 强互模拟 19
3.4 顺序进程表达式22
3.5 布尔缓冲区23
3.6 调度器 24
3.7 计数器 26
3.8 小结 26

第4章 并发进程与交互28
4.1 标号和流程图28
4.2 观察和交互29
4.3 并发进程表达式31
4.4 结构同余 33
4.5 反应规则 36
4.6 小结 39

第5章 迁移和强等价41
5.1 标号迁移 41
5.2 强互模拟及其应用47
5.3 强等价的代数性质51
5.4 同余 53
5.5 小结 54

第6章 观察等价：理论55
6.1 观察 55
6.2 弱互模拟 56
6.3 方程解的唯一性61
6.4 小结 62

第7章 观察等价：例子63
7.1 彩票机 63
7.2 加工车间 64
7.3 调度器 67
7.4 缓冲区 71
7.5 栈和计数器73
7.6 讨论 76

第二部分 演算

第8章 论移动性79

8.1 有限的移动性81
8.2 移动电话 82
8.3 移动性的其他例子85
8.4 小结 87

第9章演算与交互 88
9.1 名字、动作和进程88
9.2 结构同余和反应90
9.3 移动性 92
9.4 多目演算94
9.5 递归定义 95
9.6 抽象 97
9.7 小结 99


第10章演算的应用 100
10.1 简单的系统100
10.2 唯一使用102
10.3 再论数据105
10.4 表编程 108
10.5 持久的和可变的数据111


第11章 类、对象和函数115
11.1 通道类型的层次结构 115
11.2 类和赋类116
11.3 拓展类语言118
11.4 面向对象程序设计121
11.5 进程和抽象作为消息125
11.6 函数式计算作为名字传递127

第12章 承诺与强互模拟131
12.1 抽象与凝结131
12.2 承诺的规则134
12.3 强互模拟, 强等价136
12.4 同余 138
12.5 复制的基本同余性质139
12.6 资源的复制141
12.7 小结 143


第13章 观察等价及例子144
13.1 试验 144
13.2 弱互模拟与同余关系145
13.3 方程解的唯一性146
13.4 表编程 148
13.5 命令式程序设计149
13.6 可伸缩的缓冲区150
13.7 演算中的归约153



第14章 讨论及相关的工作 155

参考文献
159

ISBN：9787302207252
定价：19元
印次：1-1
装帧：平装
印刷日期：2009-9-25

西安