| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第1章 简介 | 第13-17页 |
| ·研究背景和意义 | 第13-14页 |
| ·研究现状 | 第14-16页 |
| ·研究内容 | 第16-17页 |
| 第2章 预备知识 | 第17-27页 |
| ·概率空间 | 第17页 |
| ·条件理论 | 第17-20页 |
| ·概率π演算 | 第20-26页 |
| ·πsp的语法 | 第21-22页 |
| ·操作语义 | 第22-26页 |
| ·一般语义 | 第22页 |
| ·符号语义 | 第22-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 强互模拟的公理化 | 第27-40页 |
| ·强符号互模拟 | 第27-39页 |
| ·强概率符号互模拟 | 第30-31页 |
| ·强概率符号互模拟的同余性 | 第31-32页 |
| ·公理化系统 | 第32-39页 |
| ·本章小结 | 第39-40页 |
| 第4章 弱互模拟的公理化 | 第40-50页 |
| ·弱互模拟 | 第40-41页 |
| ·公理化系统 | 第41-49页 |
| ·本章小结 | 第49-50页 |
| 第5章 工作总结与展望 | 第50-52页 |
| ·主要工作 | 第50页 |
| ·工作展望 | 第50-52页 |
| 参考文献 | 第52-54页 |
| 致谢 | 第54-55页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第55页 |