论文部分内容阅读
非对称 χ ≠ 演算是一种移动计算模型 通过研究该演算的互模拟格 ,能够增强理解非对称性和不等名算子对移动进程代数理论的影响 在给出非对称 χ ≠ 演算的语法和转移语义系统的基础上 ,定义了该演算的L 互模拟关系 研究表明非对称χ≠ 演算的 6 3个L 互模拟关系重叠为 1 2个不同的互模拟关系 ,而且这 1 2个互模拟关系构成了一个关于集包含的互模拟格 最后证明了barbed互模拟和开互模拟分别与该互模拟格的顶元和底元互模拟关系相重合
Asymmetric χ ≠ calculus is a model of mobile computing By studying the simulacrums of the calculus, it is possible to enhance the understanding of the influence of asymmetry and inequality operators on the algebraic theory of moving processes. Given the syntax and Based on the transfer semantics system, the L mutual simulation relationship of this calculation is defined. The results show that the 6 3 L simulation relationships of the asymmetric χ ≠ calculation overlap to 1 2 different mutual simulation relations, and the 12 mutual simulation relationships Form a mock-up about the included multivariates finally prove that the barbed mock-up and the mock-up mimic each coincide with the mock-up of the mock-up of the mock-up mock-up