摘要
This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity.
This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity.
基金
SupportedbytheNationalDistinguishedYoungScientistFundofNNSFC (60 2 25012),theShanghaiScienceandTechnologyDevelopmentFund (0 2 5 115 0 32),theYoungScientistResearchFundandtheUniversityScholarFundingScheme
