- 作 者：（英）C·A·R·Hoare著；周巢尘译
- 出 版 社：北京：北京大学出版社
- 出版年份：1990
- ISBN：7301008139
- 标注页数：285 页
- PDF页数：309 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源309 ≥285页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 1
前言 1
序言 1
符号表 1
第一章 进程 1
1.1 引言 1
1.1.1 前缀 3
1.1.2 递归 5
1.1.3 选择 8
1.1.4 联立递归 11
1.2 示意图 13
1.3 法则 14
1.4 进程的实施 17
1.5 迹 20
1.6 迹的运算 22
1.6.1 连接 22
1.6.2 局限 23
1.6.3 首部与尾部 24
1.6.5 次序 25
1.6.4 星号 25
1.6.6 长度 26
1.7 迹的实施 27
1.8 进程的迹 28
1.8.1 法则 29
1.8.2 实施 32
1.8.3 后继 33
1.9 迹的其它运算 35
1.9.1 符号变换 35
1.9.3 穿插 36
1.9.2 连接 36
1.9.4 下标 37
1.9.5 逆置 37
1.9.6 挑选 37
1.9.7 组合 38
1.10 描述 39
1.10.1 满足 40
1.10.2 证明 42
2.2 交互作用 45
第二章 并发性 45
2.1 引言 45
2.2.1 法则 47
2.2.2 实施 48
2.2.3 迹 48
2.3 并发性 48
2.3.1 法则 51
2.3.2 实施 52
2.3.3 迹 53
2.4 示意图 54
2.5 举例：哲学家就餐问题 56
2.5.1 字母表 56
2.5.2 行为 58
2.5.3 死锁 59
2.5.4 死锁不存在的证明 60
2.5.5 无限抢先 61
2.6 符号变换 62
2.6.1 法则 65
2.6.2 进程标记 66
2.6.3 实施 69
2.6.4 多重标记 70
2.7 功能描述 71
2.8 确定性进程的数学理论 73
2.8.1 基本定义 73
2.8.2 不动点理论 75
2.8.3 唯一解 78
3.1 引言 82
第三章 非确定性 82
3.2 非确定的或算子 83
3.2.1 法则 84
3.2.2 实施 86
3.2.3 迹 87
3.3 一般选择 88
3.3.1 法则 88
3.3.2 实施 89
3.3.3 迹 90
3.4 拒绝集 90
3.4.1 法则 91
3.5 屏蔽 93
3.5.1 法则 94
3.5.2 实施 98
3.5.3 迹 99
3.5.4 示意图 100
3.6 穿插 102
3.6.1 法则 103
3.6.2 迹和拒绝集 104
3.7 描述 105
3.7.1 证明 107
3.8 发散性 109
3.8.1 法则 111
3.8.2 发散集 111
3.9 非确定性进程的数学理论 113
第四章 通信 119
4.1 引言 119
4.2 输入和输出 119
4.2.1 实施 125
4.2.2 描述 126
4.3 通信 129
4.4 导管 138
4.4.1 法则 141
4.4.2 实施 143
4.4.3 活锁 143
4.4.4 描述 145
4.4.5 缓存和协议 146
4.5 附庸 150
4.5.1 法则 154
4.5.2 连接图 156
第五章 顺序进程 160
5.1 引言 160
5.2 法则 164
5.3 数学处理 166
5.3.1 确定性进程 166
5.3.2 非确定性进程 167
5.3.3 实施 169
5.4 中断 169
5.4.1 灾难 170
5.4.2 重新启动 171
5.4.3 交替 172
5.4.4 备查点 172
5.4.5 多重备查点 173
5.4.6 实施 174
5.5 赋值 175
5.5.1 法则 177
5.5.2 描述 179
5.5.3 实施 185
第六章 资源共享 187
6.1 引言 187
6.2 穿插式共享 188
6.3 存储共享 193
6.4 多重资源 195
6.5 操作系统 205
6.6 调度 210
7.1 引言 213
7.2 共享存储 213
第七章 讨论 213
7.2.1 多流化 214
7.2.2 cobegin…coend 215
7.2.3 条件临界区 216
7.2.4 管程 218
7.2.5 管程嵌套 220
7.2.6 AdaTM 222
7.3 通信 225
7.3.1 导管 225
7.3.2 多重缓冲通道 226
7.3.3 函数式多道处理 227
7.3.4 无缓冲通信 228
7.3.5 通信顺序进程 229
7.3.6 Occam 230
7.4 数学模型 234
7.4.1 通信系统演算CCS 234
练习 240
解答 255
文献精选 276
英汉名词索引 278