关于并发加权μ-演算若干问题的研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 缩略词 | 第9-10页 |
| 第一章 绪论 | 第10-15页 |
| 1.1 引言 | 第10-11页 |
| 1.2 逻辑方法 | 第11-12页 |
| 1.3 μ-演算 | 第12-13页 |
| 1.4 本文研究背景和主要工作 | 第13-15页 |
| 第二章 基本概念 | 第15-25页 |
| 2.1 记号约定 | 第15-16页 |
| 2.2 标记加权转换系统 | 第16-19页 |
| 2.3 并发加权逻辑 | 第19-23页 |
| 2.4 几种自动机 | 第23-25页 |
| 第三章 μCWL及面向 μCWL的轮替树自动机 | 第25-39页 |
| 3.1 μCWL语法 | 第25-28页 |
| 3.2 μCWL的语义 | 第28-31页 |
| 3.3 面向 μCWL的轮替树自动机 | 第31-34页 |
| 3.4 奇偶博弈 | 第34-38页 |
| 3.5 本章小结 | 第38-39页 |
| 第四章 μCWL与轮替树自动机之间的转换 | 第39-52页 |
| 4.1 从公式到轮替树自动机 | 第39-49页 |
| 4.1.1 关于公式的轮替树自动机 | 第39-43页 |
| 4.1.2 正确性证明 | 第43-49页 |
| 4.2 从轮替树自动机到公式 | 第49-51页 |
| 4.3 本章小结 | 第51-52页 |
| 第五章 μCWL的若干重要性质 | 第52-63页 |
| 5.1 可满足性的可判定性和小模型性定理 | 第52-53页 |
| 5.2 一致性内插 | 第53-61页 |
| 5.2.1 展开 | 第54-55页 |
| 5.2.2 互模拟量词 | 第55-60页 |
| 5.2.3 μCWL上的一致性内插 | 第60-61页 |
| 5.3 本章小结 | 第61-63页 |
| 第六章 总结与展望 | 第63-65页 |
| 6.1 全文总结 | 第63页 |
| 6.2 进一步的工作 | 第63-65页 |
| 参考文献 | 第65-70页 |
| 致谢 | 第70-71页 |
| 在学期间的研究成果及发表的学术论文 | 第71页 |
