J4 ›› 2010, Vol. 32 ›› Issue (10): 135-138.doi: 10.3969/j.issn.1007130X.2010.
• 论文 • Previous Articles Next Articles
YU Quan1,ZHANG Wei1,WANG Ju2
Revised:
Online:
Published:
Abstract:
In this paper, the relations between the models of MALCsuch as homomorphism and isomorphism are defined, and the algebraic properties such as invariant under these relations which belong to the formula of MALC are discussed. At the end of this paper, the topological semantics of MALC and the topological bisimulation between two topological models are defined, and the conclusion is that the formula of MALC has the property of invariance under topological bisimulation.
Key words: MALC;bounded morphisms;invariant;bisimulation
YU Quan1,ZHANG Wei1,WANG Ju2. Several Algebraic Properties of the Model of MALC[J]. J4, 2010, 32(10): 135-138.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/10.3969/j.issn.1007130X.2010.
http://joces.nudt.edu.cn/EN/Y2010/V32/I10/135
