通信与移动系统 π演算2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

通信与移动系统 π演算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