| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 目录 | 第8-13页 |
| 第一章 绪论 | 第13-29页 |
| ·对称 | 第13-16页 |
| ·计算机科学中的对称 | 第14-15页 |
| ·对称与对称约简 | 第15-16页 |
| ·动作细化 | 第16-25页 |
| ·动作细化方法 | 第17-19页 |
| ·动作细化分类 | 第19-23页 |
| ·动作细化的保持 | 第23-25页 |
| ·对称与动作细化 | 第25页 |
| ·相关工作 | 第25-26页 |
| ·本文创新 | 第26-27页 |
| ·本文组织 | 第27-29页 |
| 第二章 理论基础 | 第29-39页 |
| ·进程代数 | 第29-30页 |
| ·事件结构 | 第30-34页 |
| ·动作细化 | 第34-35页 |
| ·标记变迁系统 | 第35-37页 |
| ·模型检验 | 第37-39页 |
| 第三章 进程代数中的对称性 | 第39-57页 |
| ·引言 | 第39页 |
| ·进程代数与自同构 | 第39-43页 |
| ·进程代数 | 第39-41页 |
| ·自同构 | 第41-43页 |
| ·进程代数的对称性 | 第43-45页 |
| ·行为等价的保持 | 第45-49页 |
| ·一个约简算法 | 第49-51页 |
| ·例子 | 第51-56页 |
| ·小结 | 第56-57页 |
| 第四章 事件结构的对称性 | 第57-77页 |
| ·引言 | 第57-58页 |
| ·事件结构的对称 | 第58-64页 |
| ·置换群 | 第58-59页 |
| ·自同构群 | 第59页 |
| ·商事件结构 | 第59-64页 |
| ·对称与等价 | 第64-69页 |
| ·动作细化的保持 | 第69-71页 |
| ·对称约简算法 | 第71-76页 |
| ·小结 | 第76-77页 |
| 第五章 对称与自互模拟 | 第77-87页 |
| ·引言 | 第77-78页 |
| ·自互模拟 | 第78-81页 |
| ·自互模拟与对称的区别 | 第81-83页 |
| ·自互模拟与对称的联系 | 第83-85页 |
| ·小结 | 第85-87页 |
| 第六章 等价在动作细化下的保持 | 第87-107页 |
| ·引言 | 第87-88页 |
| ·交织等价 | 第88-92页 |
| ·步进等价 | 第92-95页 |
| ·动作细化下等价的保持 | 第95-104页 |
| ·束动作变迁 | 第95-100页 |
| ·交织等价的保持 | 第100-103页 |
| ·步进等价的保持 | 第103-104页 |
| ·小结 | 第104-107页 |
| 第七章 基于束动作的偏序约简 | 第107-125页 |
| ·引言 | 第107-109页 |
| ·传统的偏序约简 | 第109-113页 |
| ·Kripke 结构 | 第109-110页 |
| ·动作独立 | 第110-111页 |
| ·扫描迹等价(Stuttering Equivalence) | 第111-112页 |
| ·偏序约简 | 第112-113页 |
| ·动作与束动作 | 第113-114页 |
| ·束动作的基本思想 | 第114-117页 |
| ·束动作路径扫描迹等价 | 第117-118页 |
| ·束动作偏序约简 | 第118-119页 |
| ·束动作偏序约简的实现 | 第119-123页 |
| ·小结 | 第123-125页 |
| 第八章 总结和展望 | 第125-129页 |
| ·总结 | 第125-127页 |
| ·展望 | 第127-129页 |
| 参考文献 | 第129-141页 |
| 发表的论文 | 第141-143页 |
| 致谢 | 第143页 |