图书介绍
通信与移动系统 π演算pdf电子书版本下载
- RobinMilner编著 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302207252
- 出版时间：2009
- 标注页数：160页
- 文件大小：7MB
- 文件页数：178页
- 主题词：通信系统－系统建模
PDF下载
下载说明
通信与移动系统 π演算PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一部分 通信系统 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