基于π演算的编程与表达能力研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-14页 |
| 第一章 引言 | 第14-22页 |
| ·研究背景 | 第14-19页 |
| ·π演算的表达能力 | 第15-17页 |
| ·λ演算与π演算 | 第17-18页 |
| ·Ambient 演算与π演算 | 第18-19页 |
| ·主要贡献 | 第19-21页 |
| ·章节安排 | 第21-22页 |
| 第二章 预备知识 | 第22-42页 |
| ·π演算 | 第22-30页 |
| ·π~M | 第22-23页 |
| ·π~(def) | 第23-25页 |
| ·互模拟关系 | 第25-29页 |
| ·Up-to 技术 | 第29-30页 |
| ·λ演算 | 第30-33页 |
| ·λ项与β归约 | 第30-31页 |
| ·等价关系 | 第31-33页 |
| ·Ambient 演算 | 第33-41页 |
| ·MA 演算 | 第33-36页 |
| ·FA 演算 | 第36-41页 |
| ·本章小结 | 第41-42页 |
| 第三章 基于π的编程与表达能力 | 第42-56页 |
| ·编码与表达能力研究 | 第42-48页 |
| ·Spi 演算 | 第43-46页 |
| ·λ演算 | 第46-47页 |
| ·MA 演算 | 第47-48页 |
| ·数据结构与π | 第48-52页 |
| ·链表 | 第49-50页 |
| ·树结构 | 第50-52页 |
| ·编码的性质 | 第52-55页 |
| ·本章小结 | 第55-56页 |
| 第四章 完全λ演算到π演算的编码 | 第56-114页 |
| ·背景与难点 | 第56-59页 |
| ·Lazy λ到π演算的编码 | 第56-58页 |
| ·完全λ演算编码到π的难点 | 第58-59页 |
| ·在πdef 中的编码 | 第59-65页 |
| ·λ演算与二叉树 | 第60-61页 |
| ·二叉树与编码 | 第61-64页 |
| ·β归约的模拟 | 第64-65页 |
| ·编码的性质 | 第65-79页 |
| ·归约动作 | 第68-71页 |
| ·输入动作 | 第71-74页 |
| ·对应性质 | 第74-79页 |
| ·编码的正确性 | 第79-86页 |
| ·Subbisimilarity | 第79-81页 |
| ·完全抽象 | 第81-86页 |
| ·另一种编码 | 第86-94页 |
| ·确定的编码 | 第86-89页 |
| ·编码的正确性 | 第89-94页 |
| ·本章小结 | 第94页 |
| ·证明 | 第94-114页 |
| 第五章 Ambient演算到π演算的编码 | 第114-136页 |
| ·结构化编码 | 第115页 |
| ·SA FA 与 π | 第115-119页 |
| ·SA | 第117-118页 |
| ·FA | 第118-119页 |
| ·MA 与π | 第119-133页 |
| ·编码思路 | 第119-122页 |
| ·编码 | 第122-127页 |
| ·编码的性质 | 第127-132页 |
| ·否定的结论 | 第132-133页 |
| ·本章小结 | 第133-136页 |
| 第六章 总结与展望 | 第136-140页 |
| 参考文献 | 第140-150页 |
| 致谢 | 第150-152页 |
| 攻读博士学位期间发表的学术论文 | 第152-154页 |
| 攻读博士学位期间参加的项目 | 第154-156页 |
| 索引 | 第156-157页 |
