DDS并行模型及其形式化

摘要	第1-5页
Abstract	第5-8页
第一章 前言	第8-10页
第二章 DDS并行模型	第10-17页
·带空间限制的DDS并行模型	第10-11页
·DDS并行模型中的任务调度	第11-16页
·本章小结	第16-17页
第三章 时段演算	第17-20页
·DC的形成规则	第17-18页
·DC的公理及推理规则	第18-19页
·本章小结	第19-20页
第四章 分离逻辑语言及其应用	第20-29页
·Hoare逻辑简介	第20-21页
·分离逻辑的语法和语义	第21-26页
·断言语言A的语法和语义	第21-24页
·程序语言L的语法和语义	第24-25页
·规约(specification)的语法和语义	第25-26页
·分离逻辑应用实例	第26-28页
·本章小结	第28-29页
第五章 DDS并行模型的形式化	第29-34页
·DC~*的语法和语义	第29-31页
·DC~*的字母表	第29-30页
·DC~*的形成规则	第30页
·DC~*的推理规则	第30-31页
·DDS并行模型的形式化	第31-33页
·本章小结	第33-34页
第六章 总结及展望	第34-35页
参考文献	第35-37页
读硕期间发表的论文目录	第37-38页
致谢	第38-39页