| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 前言 | 第8-10页 |
| 第1章 分离逻辑简介 | 第10-18页 |
| ·基本程序语言 | 第10页 |
| ·SL断言的语法、语义及推理规则 | 第10-13页 |
| ·程序命令的语义 | 第13-15页 |
| ·规约(specification)及其语义、推理规则 | 第15-18页 |
| 第2章 时段演算简介 | 第18-21页 |
| ·DC的语法和语义 | 第18-19页 |
| ·DC证明系统 | 第19-21页 |
| 第3章 SLDDS问题的离散化 | 第21-31页 |
| ·DDS问题与SLDDS问题 | 第21页 |
| ·实时问题的离散化 | 第21-24页 |
| ·SLDDS模型中的调度问题 | 第24-31页 |
| 第4章 SLDDS并发模型形式化初步 | 第31-36页 |
| ·Spatial-DC 的字母表 | 第31页 |
| ·Spatial-DC 的形成规则 | 第31-32页 |
| ·Spatial-DC 的推理规则 | 第32页 |
| ·SLDDS并发模型的形式化 | 第32-36页 |
| 结束语 | 第36-37页 |
| 参考文献 | 第37-39页 |
| 致谢 | 第39-40页 |