| Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch |
| |
| 作者姓名： | 董笑菊 Zhong Farong FU Yuxi |
| |
| 作者单位： | DepartmentofComputerScience,ShanghaiJiaotongUniversity,Shanghai200030,P.R.China |
| |
| 基金项目： | SupportedbytheNationalDistinguishedYoungScientistFundofNNSFC (60 2 25012),theShanghaiScienceandTechnologyDevelopmentFund (0 2 5 115 0 32),theYoungScientistResearchFundandtheUniversityScholarFundingScheme |
| |
| 摘 要： | 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.
|
| 关 键 词： | χ-微积分 双仿真格 代数理论 拓扑结构 |
Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch |
| |
| Zhong Farong,FU Yuxi.Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch[J].High Technology Letters,2003,9(4):50-55. |
| |
| Authors: | Zhong Farong FU Yuxi |
| |
| Abstract: | 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. |
| |
| Keywords: | process algebra asymmetric chi process bisimulation lattice |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
