λ-互模拟的研究

第一章 绪论	第1-15页
·引言	第10-11页
·互模拟	第11-12页
·互模拟的模态逻辑特征	第12-13页
·λ-互模拟和CCS_θ	第13页
·本文的研究内容及结构安排	第13-15页
第二章 基本概念	第15-28页
·CCS	第15-19页
·CCS 的基本概念和符号	第15-16页
·CCS	第16-19页
·互模拟及其相关理论	第19-22页
·互模拟的概念	第19-21页
·互模拟的逻辑特征	第21-22页
·λ-互模拟和CCS_θ	第22-28页
·λ-互模拟	第22-25页
·CCS_θ	第25-28页
第三章 λ-互模拟的模态逻辑特征	第28-34页
·模态逻辑语言L_(σ,λ)~(<>)	第28-29页
·L_(σ,λ)~(<>)中公式间的H_λ关系	第29-31页
·强λ-互模拟的模态逻辑特征	第31-33页
·弱λ-互模拟的模态逻辑特征	第33-34页
第四章 分层的λ-互模拟的模态逻辑特征	第34-47页
·分层的λ-互模拟	第34-35页
·模态逻辑语言λ	第35-36页
·E_λ~k 关系	第36-38页
·分层λ-互模拟的模态特征	第38-42页
·ρ在为超度量时的模态特征	第42-47页
第五章 CCS~θ	第47-70页
·引言	第47页
·CCS_θ的讨论	第47-49页
·CCS~θ	第49-52页
·CCS~θ中的进程相等	第52-61页
·CCS~θ中进程的近似相等	第61-70页
第六章 总结和讨论	第70-72页
·全文总结	第70页
·进一步的工作	第70-72页
参考文献	第72-76页
致谢	第76-77页
在学期间的研究成果	第77页