当前位置:首页 > 工业技术
通信与移动系统  π演算
通信与移动系统  π演算

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

工业技术

  • 电子书积分:9 积分如何计算积分?
  • 作 者:RobinMilner编著
  • 出 版 社:北京:清华大学出版社
  • 出版年份:2009
  • ISBN:9787302207252
  • 页数:160 页
图书介绍:通信是计算机的一个基本的、不可缺少的部分。通信可能发生在网路上的不同计算机之间,也可能发生在同一台计算机的各个部件之间。在本书中,作者介绍了一种为通信建模的新方法,其特点是将计算机及其程序都看作是有相互通信的部分组成的,并发展了一个理论,即π演算。在π演算中,对计算机程序中数据的移动与互联网上的信息的传送的处理是完全相同的。
上一篇:气焊工下一篇:古典家具鉴赏与收藏
《通信与移动系统 π演算》目录

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

相关图书
作者其它书籍
返回顶部