Computer Engineering & Science >
Several Algebraic Properties of the Model of MALC
Revised date: 2010-06-10
Online published: 2010-09-25
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.
YU Quan1,ZHANG Wei1,WANG Ju2 . Several Algebraic Properties of the Model of MALC[J]. Computer Engineering & Science, 2010 , 32(10) : 135 -138 . DOI: 10.3969/j.issn.1007130X.2010.
/
| 〈 |
|
〉 |