目录 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