异步非对称Chi演算的互模拟关系研究

摘要

在现有的并发分布式系统中，信息的发送往往是非阻塞的，必须采用异步的通信方式。而实际的程序设计严格区分输入和输出动作，即非对称通信。本文研究一个新进程演算，即异步非对称Chi演算。异步非对称Chi演算是目前最接近于现有的分布式程序设计语言的形式化演算，值得深入研究。我们研究异步非对称Chi演算的互模拟关系，从而为进一步研究该演算的互模拟同余公理化铺平道路。 本文定义了异步非对称Chi演算的语法和操作语义，通过统一框架定义了一组L-互模拟关系。但是这些互模拟关系大部分是重叠的，可把它们分成几个组，每个组内的互模拟关系完全相同。可以从每个组中取出一个互模拟关系，作为该组的代表元，按这些代表元之间的包含关系构造异步非对称Chi演算的互模拟格。本文研究了与互模拟格中最大元相关的barbed互模拟关系。

目录

文摘

英文文摘

论文说明：符号说明

声明

第一章绪论

第二章异步非对称Chi演算

2.1 引言

2.2异步非对称Chi演算的语法

2.3异步非对称Chi演算的操作语义

小结

第三章 互模拟格

3.1 引言

3.2 L-互模拟

3.3互模拟格

小结

第四章 barbed互模拟

4.1 引言

4.2 barbed互模拟

4.3开模拟性质

4.4开barbed互模拟

小结

总结语

参考文献

致谢

攻读硕士学位期间发表的论文