| | |
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
|
