非对称χ≠-演算的互模拟格

非对称χ≠-演算是一种移动计算模型.通过研究该演算的互模拟格,能够增强理解非对称性和不等名算子对移动进程代数理论的影响.在给出非对称χ≠-演算的语法和转移语义系统的基础上,定义了该演算的L-互模拟关系.研究表明非对称χ≠-演算的63个L-互模拟关系重叠为12个不同的互模拟关系,而且这12个互模拟关系构成了一个关于集包含的互模拟格.最后证明了barbed互模拟和开互模拟分别与该互模拟格的顶元和底元互模拟关系相重合.

Bisimulation Lattice of the Asymmetric Chi Calculus with Mismatch

The chi calculus is a mobile computing model. A systematic investigation into the bisimulation lattice is carried out to understand the interplay between the asymmetry and the mismatch in the framework of the chi calculus. Both features are motivated by applications. And both are significant in theory. The syntax and labeled transition system of the calculus are presented. L-bisimilarities are defined. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations. The twelve L-bisimilarites form a bisimulation lattice with respect to set inclusion. The top and the bottom of the lattice coincide with the barbed bisimilarity and the open bisimilarity respectively.