并发计算的元模型 Ⅲ.互模拟格

Meta Model of Concurrent ComputationⅢ.Bisimulation Lattice

在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L-互模拟等价关系 .证明了只有 4个不同的 L-互模拟等价 ;在包含关系下 ,它们构成钻石格 .许多常见的互模拟等价都可定义为

This is the third of a series of papers on concurrent computation models. Based upon the previous results on chi calculus, the paper introduced a unified definition of bisimilarities on chi processes, the Lbisimilarities. It is shown that there are essentially only four distinct Lbisimilarities and they form the diamond lattice under the inclusion relation. It is also shown that wellknown bisimilarities can be couched in terms of Lbisimilarity.