通信顺序进程

目录
1．1．4 联立递归
4．4．3 活锁
4．4．4 描述
4．4．5 缓存和协议
4．5 附庸
4．5．1 法则
4．5．2 连接图
第五章 顺序进程
5．1 引言
5．2 法则
5．3 数学处理
1．2 示意图
5．3．1 确定性进程
5．3．2 非确定性进程
5．3．3 实施
5．4 中断
5．4．1 灾难
5．4．2 重新启动
5．4．3 交替
5．4．4 备查点
5．4．5 多重备查点
5．4．6 实施
1．3 法则
5．5 赋值
5．5．1 法则
5．5．2 描述
5．5．3 实施
第六章 资源共享
6．1 引言
6．2 穿插式共享
6．3 存储共享
6．4 多重资源
6．5 操作系统
1．4 进程的实施
6．6 调度
第七章 讨论
7．1 引言
7．2 共享存储
7．2．1 多流化
7．2．2 cobegin…coend
7．2．3 条件临界区
7．2．4 管程
7．2．5 管程嵌套
7．2．6 AdaTM
1．5 迹
7．3 通信
7．3．1 导管
7．3．2 多重缓冲通道
7．3．3 函数式多道处理
7．3．4 无缓冲通信
7．3．5 通信顺序进程
7．3．6 Occam
7．4 数学模型
7．4．1 通信系统演算CCS
练习
1．6 迹的运算
解答
文献精选
英汉名词索引
1．6．1 连接
1．6．2 局限
1．6．3 首部与尾部
1．6．4 星号
前言
1．6．5 次序
1．6．6 长度
1．7 迹的实施
1．8 进程的迹
1．8．1 法则
1．8．2 实施
1．8．3 后继
1．9 迹的其它运算
1．9．1 符号变换
1．9．2 连接
序言
1．9．3 穿插
1．9．4 下标
1．9．5 逆置
1．9．6 挑选
1．9．7 组合
1．10 描述
1．10．1 满足
1．10．2 证明
第二章 并发性
2．1 引言
符号表
2．2 交互作用
2．2．1 法则
2．2．2 实施
2．2．3 迹
2．3 并发性
2．3．1 法则
2．3．2 实施
2．3．3 迹
2．4 示意图
2．5 举例：哲学家就餐问题
第一章 进程
2．5．1 字母表
2．5．2 行为
2．5．3 死锁
2．5．4 死锁不存在的证明
2．5．5 无限抢先
2．6 符号变换
2．6．1 法则
2．6．2 进程标记
2．6．3 实施
2．6．4 多重标记
1．1 引言
2．7 功能描述
2．8 确定性进程的数学理论
2．8．1 基本定义
2．8．2 不动点理论
2．8．3 唯一解
第三章 非确定性
3．1 引言
3．2 非确定的或算子
3．2．1 法则
3．2．2 实施
1．1．1 前缀
3．2．3 迹
3．3 一般选择
3．3．1 法则
3．3．2 实施
3．3．3 迹
3．4 拒绝集
3．4．1 法则
3．5 屏蔽
3．5．1 法则
3．5．2 实施
1．1．2 递归
3．5．3 迹
3．5．4 示意图
3．6 穿插
3．6．1 法则
3．6．2 迹和拒绝集
3．7 描述
3．7．1 证明
3．8 发散性
3．8．1 法则
3．8．2 发散集
1．1．3 选择
3．9 非确定性进程的数学理论
第四章 通信
4．1 引言
4．2 输入和输出
4．2．1 实施
4．2．2 描述
4．3 通信
4．4 导管
4．4．1 法则
4．4．2 实施