Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Submitted to: EXPRESS 2011
 

Summary: Submitted to:
EXPRESS 2011
c L. Aceto, I. Fábregas, D. de Frutos-Escrig, A. Ingólfsdóttir & M. Palomino
This work is licensed under the
Creative Commons Attribution License.
Graphical representation of covariant-contravariant modal
formulas
Luca Aceto Anna Ingólfsdóttir
ICE-TCS, School of Computer Science
Reykjavik University
Iceland
Ignacio Fábregas David de Frutos Escrig Miguel Palomino
Departamento de Sistemas Informáticos y Computación
Universidad Complutense de Madrid
Spain
Covariant-contravariantsimulation is a combination of standard (covariant) simulation, its contravari-
ant 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

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences