| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第一章 引言 | 第12-22页 |
| ·研究背景与现状 | 第12-18页 |
| ·主要贡献 | 第18-20页 |
| ·章节安排 | 第20-22页 |
| 第二章 预备知识 | 第22-36页 |
| ·进程演算(CCS)基础 | 第22-29页 |
| ·参数化互模拟 | 第29-31页 |
| ·三分之二互模拟 | 第31-33页 |
| ·定向集及其性质 | 第33-34页 |
| ·本章小结 | 第34-36页 |
| 第三章 参数化互模拟无限演化与拓扑 | 第36-56页 |
| ·引言 | 第36-37页 |
| ·参数化互模拟的无限演化 | 第37-45页 |
| ·参数化互模拟极限 | 第45-50页 |
| ·参数化互模拟拓扑 | 第50-55页 |
| ·本章小结 | 第55-56页 |
| 第四章 三分之二互模拟无限演化与拓扑 | 第56-74页 |
| ·引言 | 第56-57页 |
| ·三分之二互模拟的无限演化 | 第57-63页 |
| ·三分之二互模拟极限 | 第63-69页 |
| ·三分之二互模拟拓扑 | 第69-72页 |
| ·本章小结 | 第72-74页 |
| 第五章 进程之间近似程度的度量模型 | 第74-92页 |
| ·引言 | 第74-75页 |
| ·λ-三分之二互模拟及其性质 | 第75-80页 |
| ·λ-三分之二互模拟等价的模态逻辑刻画 | 第80-84页 |
| ·进程之间近似程度的度量模型 | 第84-89页 |
| ·本章小结 | 第89-92页 |
| 第六章 进程与环境交互的度量模型 | 第92-132页 |
| ·引言 | 第92-94页 |
| ·进程与环境交互{0,1}-模型 | 第94-110页 |
| ·进程与环境交互[0,1]-模型 | 第110-117页 |
| ·进程与环境交互[0,1]_d~δ-模型 | 第117-125页 |
| ·进程与近似环境交互度量的估计模型 | 第125-128页 |
| ·本章小结 | 第128-132页 |
| 第七章 概率进程与环境交互度量模型 | 第132-158页 |
| ·概率进程及其完整迹语义 | 第132-138页 |
| ·概率进程与环境交~(pr){0,1}-模型 | 第138-145页 |
| ·概率进程与环境交互~(pr)[0,1]-模型 | 第145-150页 |
| ·概率进程与环境交互~(pr)[0,1]_d~δ-模型 | 第150-155页 |
| ·概率进程与近似环境交互度量的估计模型 | 第155-156页 |
| ·本章小结 | 第156-158页 |
| 第八章 总结与展望 | 第158-162页 |
| 附录A 符号索引 | 第162-164页 |
| 附录B 攻读博士学位期间发表论文 | 第164-166页 |
| 附录C 参与的科研项目 | 第166-168页 |
| 参考文献 | 第168-178页 |
| 后记 | 第178-179页 |