带缓存的π演算及其应用
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 表格索引 | 第7-8页 |
| 主要符号对照表 | 第8-9页 |
| 第一章 引言 | 第9-11页 |
| ·相关工作 | 第9-10页 |
| ·文章结构 | 第10-11页 |
| 第二章 带缓存的π演算 | 第11-25页 |
| ·语法 | 第11-13页 |
| ·操作语义 | 第13-19页 |
| ·不考虑名约定下的迁移规则 | 第16-17页 |
| ·例子 | 第17-19页 |
| ·Close 规则 | 第19页 |
| ·在 Polyadic π演算中的编码 | 第19-25页 |
| ·编码函数 | 第20-21页 |
| ·完全抽象 | 第21-25页 |
| 第三章 Go 程序设计语言的编码 | 第25-41页 |
| ·语法 | 第25-27页 |
| ·操作语义 | 第27-32页 |
| ·编码 | 第32-35页 |
| ·编码的正确性 | 第35-41页 |
| 第四章 Core Erlang 语言的编码 | 第41-53页 |
| ·语法 | 第41-43页 |
| ·操作语义 | 第43-46页 |
| ·编码 | 第46-49页 |
| ·接收表达式的编码 | 第46-49页 |
| ·全局格局的编码 | 第49页 |
| ·编码的正确性 | 第49-53页 |
| 全文总结 | 第53-55页 |
| 附录 A 证明 | 第55-63页 |
| 参考文献 | 第63-67页 |
| 致谢 | 第67-68页 |
| 攻读学位期间发表的学术论文目录 | 第68-69页 |
| 攻读学位期间参与的项目 | 第69-71页 |
