| 摘要 | 第1-8页 |
| Abstract | 第8-11页 |
| 目录 | 第11-19页 |
| 第一章 引言 | 第19-33页 |
| ·什么是动作细化? | 第19-20页 |
| ·细化操作与分层描述 | 第20-21页 |
| ·原子细化与非原子细化 | 第21-23页 |
| ·语法细化与语义细化 | 第23-24页 |
| ·交织与真并发 | 第24-27页 |
| ·严格细化与松散细化 | 第27-28页 |
| ·垂直执行 | 第28-30页 |
| ·本书的结构 | 第30-31页 |
| ·动作细化的未来 | 第31-33页 |
| 第二章 顺序系统 | 第33-53页 |
| ·语言 | 第33-36页 |
| ·操作语义 | 第36-40页 |
| ·看守性(Guardedness) | 第36-37页 |
| ·标签转移系统 | 第37-38页 |
| ·终止 | 第38-39页 |
| ·操作语义 | 第39-40页 |
| ·指称语义 | 第40-43页 |
| ·行为语义和等价关系 | 第43-48页 |
| ·应用:一个简单的数据库 | 第48-53页 |
| 第三章 原子动作细化 | 第53-67页 |
| ·并发组合与原子化的语言 | 第54-55页 |
| ·操作语义 | 第55-59页 |
| ·指称语义 | 第59-62页 |
| ·等价理论与公理化 | 第62-64页 |
| ·应用:关键部分 | 第64-67页 |
| 第四章 非原子动作细化的事件模型 | 第67-89页 |
| ·事件注释与操作语义 | 第68-70页 |
| ·基于事件的操作语义 | 第70-75页 |
| ·事件转移系统 | 第71-72页 |
| ·扩展的细化函数 | 第72-75页 |
| ·稳定事件结构 | 第75-77页 |
| ·基于事件的指称语义 | 第77-81页 |
| ·语义之间的兼容 | 第81-84页 |
| ·应用:一个简单的数据库 | 第84-89页 |
| 第五章 非原子细化的观测等价 | 第89-109页 |
| ·偏序多集 | 第89-92页 |
| ·事件转移的偏序多集转移 | 第90-91页 |
| ·偏序多集转移迹 | 第91-92页 |
| ·因果链 | 第92-94页 |
| ·动作分割 | 第94-98页 |
| ·分割互模拟 | 第95-97页 |
| ·分割迹 | 第97-98页 |
| ·深层分割语义 | 第98页 |
| ·分割迹语义 | 第98-106页 |
| ·分割迹转移系统 | 第99-100页 |
| ·事件转移的分割迹转移 | 第100-101页 |
| ·分割迹语义的语言 | 第101-102页 |
| ·分割迹语义的操作语义 | 第102-106页 |
| ·应用:一个简单的数据库 | 第106页 |
| ·ω-完全 | 第106-109页 |
| 第六章 语法替换与语义替换 | 第109-123页 |
| ·有限顺序系统 | 第110-113页 |
| ·递归顺序系统 | 第113-114页 |
| ·动作细化 | 第114-115页 |
| ·进程同步 | 第115-120页 |
| ·应用:一个简单的数据库 | 第120-123页 |
| 第七章 基于依赖关系的动作细化 | 第123-139页 |
| ·线性时间的依赖关系 | 第124-127页 |
| ·语言 | 第126-127页 |
| ·应用:关键部分 | 第127-128页 |
| ·分支时间的依赖关系 | 第128-133页 |
| ·应用:一个简单的数据库 | 第133-134页 |
| ·重观察(the dual view):位置(localities) | 第134-139页 |
| 第八章 垂直执行 | 第139-155页 |
| ·垂直延迟互模拟 | 第141-146页 |
| ·垂直执行的要求 | 第146-150页 |
| ·进一步的展望 | 第150-151页 |
| ·应用:一个简单的数据库 | 第151-155页 |
| 第九章 实时模型 | 第155-185页 |
| ·时化事件模型 | 第155-160页 |
| ·时化事件结构及行为描述 | 第156-160页 |
| ·等价与组合操作 | 第160-163页 |
| ·时间事件模型的动作细化 | 第163-167页 |
| ·一个反例 | 第163-167页 |
| ·正确性与等价性结论 | 第167-175页 |
| ·进程代数的时间约束 | 第175-178页 |
| ·语法 | 第175-177页 |
| ·指称语义 | 第177-178页 |
| ·时间进程代数的动作细化 | 第178-185页 |
| ·一致性的结论 | 第180-185页 |
| 第十章 随机模型 | 第185-207页 |
| ·符号 | 第186-187页 |
| ·事件结构的随机约束 | 第187-192页 |
| ·进程代数的随机约束 | 第192-193页 |
| ·动作细化 | 第193-197页 |
| ·随机进程代数的动作细化 | 第195-197页 |
| ·正确性、一致性和重合性结论 | 第197-207页 |
| 第十一章 概率模型 | 第207-229页 |
| ·概率事件模型 | 第208-213页 |
| ·概率事件结构以及概率运行 | 第208-213页 |
| ·概率事件模型的动作细化 | 第213-220页 |
| ·反例 | 第214页 |
| ·定义 | 第214-220页 |
| ·进程代数的概率约束 | 第220-223页 |
| ·概率进程代数的语法 | 第220-222页 |
| ·概率进程代数的指称语义 | 第222-223页 |
| ·概率进程代数的动作细化 | 第223-225页 |
| ·一致性的结论 | 第225-229页 |
| 第十二章 传值进程代数的动作细化 | 第229-247页 |
| ·传值进程代数的语言 | 第229-233页 |
| ·指称语义 | 第230-233页 |
| ·动作细化 | 第233-241页 |
| ·语法上的细化 | 第234-235页 |
| ·数值化事件结构的细化 | 第235-241页 |
| ·非交织的语义 | 第241-247页 |
| 附录A 幂域理论 | 第247-251页 |
| 附录B 随机过程 | 第251-263页 |
| B.1 样本空间和概率测算 | 第251页 |
| B.2 随机变量与分布函数 | 第251-252页 |
| B.3 随机进程 | 第252-259页 |
| B.3.1 离散时间的马尔可夫链 | 第252-255页 |
| B.3.2 连续时间的马尔可夫链 | 第255-258页 |
| B.3.3 半马尔可夫链 | 第258-259页 |
| B.4 相类分布(phase-type distributions) | 第259-263页 |
| 参考文献 | 第263-284页 |
| 发表文章目录 | 第284-285页 |
| 简历 | 第285-286页 |
| 致谢 | 第286页 |