Computer Science – Logic in Computer Science
Scientific paper
2011-08-23
EPTCS 64, 2011, pp. 1-15
Computer Science
Logic in Computer Science
In Proceedings EXPRESS 2011, arXiv:1108.4077
Scientific paper
10.4204/EPTCS.64.1
Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal logic. Moreover, we have investigated the relationships between this model and that of modal transition systems, where two kinds of transitions (the so-called may and must transitions) were combined in order to obtain a simple framework to express a notion of refinement over state-transition models. In a classic paper, Boudol and Larsen established a precise connection between the graphical approach, by means of modal transition systems, and the logical approach, based on Hennessy-Milner logic without negation, to system specification. They obtained a (graphical) representation theorem proving that a formula can be represented by a term if, and only if, it is consistent and prime. We show in this paper that the formulae from the covariant-contravariant modal logic that admit a "graphical" representation by means of processes, modulo the covariant-contravariant simulation preorder, are also the consistent and prime ones. In order to obtain the desired graphical representation result, we first restrict ourselves to the case of covariant-contravariant systems without bivariant actions. Bivariant actions can be incorporated later by means of an encoding that splits each bivariant action into its covariant and its contravariant parts.
Aceto Luca
Fábregas Ignacio
Frutos-Escrig David de
Ingolfsdottir Anna
Palomino Miguel
No associations
LandOfFree
Graphical representation of covariant-contravariant modal formulae does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Graphical representation of covariant-contravariant modal formulae, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Graphical representation of covariant-contravariant modal formulae will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-66549