Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Relating modal refinements, covariant-contravariant simulations and partial
 

Summary: Relating modal refinements,
covariant-contravariant simulations and partial
bisimulations
Luca Aceto1
, Ignacio F´abregas2
, David de Frutos Escrig2
, Anna Ing´olfsd´ottir1
,
and Miguel Palomino2
1
ICE-TCS, School of Computer Science, Reykjavik University, Iceland
2
Departamento de Sistemas Inform´aticos y Computaci´on, Universidad Complutense
de Madrid, Spain
Abstract. This paper studies the relationships between three notions
of behavioural preorder that have been proposed in the literature: re-
finement over modal transition systems, and the covariant-contravariant
simulation and the partial bisimulation preorders over labelled transition
systems. It is shown that there are mutual translations between modal
transition systems and labelled transition systems that preserve, and

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences