通信距离受限的进程代数研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-15页 |
| ·引言 | 第10-12页 |
| ·本文研究背景 | 第12-13页 |
| ·本文的主要研究工作和内容安排 | 第13-15页 |
| 第二章 基本概念 | 第15-23页 |
| ·CCS | 第15-20页 |
| ·CCS 的基本概念 | 第15-16页 |
| ·CCS 的归约语义 | 第16-17页 |
| ·CCS 的LTS 语义及其性质 | 第17-20页 |
| ·互模拟 | 第20-23页 |
| ·互模拟的概念 | 第20-21页 |
| ·互模拟的逻辑特征 | 第21-23页 |
| 第三章 CCSθ的概念、性质及强互模拟 | 第23-41页 |
| ·CCS~θ的基本概念 | 第23页 |
| ·CCS~θ的归约语义 | 第23-25页 |
| ·CCS~θ的LTS 语义 | 第25-32页 |
| ·CCS~θ的强互模拟 | 第32-41页 |
| ·L-强互模拟 | 第32-36页 |
| ·B-强互模拟 | 第36-41页 |
| 第四章 B-强互模拟的模态逻辑特征 | 第41-47页 |
| ·模态逻辑语言NL_B | 第41页 |
| ·B-强互模拟的模态逻辑特征 | 第41-43页 |
| ·分层的B-强互模拟及其模态特征 | 第43-47页 |
| 第五章 B-弱互模拟 | 第47-60页 |
| ·B-弱互模拟的概念 | 第47页 |
| ·B-弱互模拟的性质 | 第47-54页 |
| ·位置观测等价与弱互模拟 | 第54-56页 |
| ·平面上B-弱互模拟的性质 | 第56-60页 |
| 第六章 总结与展望 | 第60-61页 |
| ·全文总结 | 第60页 |
| ·进一步的工作 | 第60-61页 |
| 参考文献 | 第61-64页 |
| 致谢 | 第64-65页 |
| 在学期间的研究成果及发表的学术论文 | 第65页 |
