通信与移动系统 π演算PDF电子书下载

第一部分　通信系统 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