第一部分 通信系统 3
第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
第二部分 π-演算 79
第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