互模拟格相关论文
在现有的并发分布式系统中，信息的发送往往是非阻塞的，必须采用异步的通信方式。而实际的程序设计严格区分输入和输出动作，即非对称通......
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异......
期刊
非对称x^≠-演算是一种移动计算模型．通过研究该演算的互模拟格，能够增强理解非对称性和不等名算子对移动进程代数理论的影响．在给出......
在有关ｃｈｉ演算的基础上，用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系，即Ｌ－互模拟等价关系，证明了只有４个不同的Ｌ－互模拟等价，在包含关系下，它......
