Universidad Complutense de Madrid
E-Prints Complutense

Relating modal refinements, covariant-contravariant simulations and partial bisimulations

Impacto

Downloads

Downloads per month over past year

Aceto, Luca and Fábregas, Ignacio and Frutos Escrig, David de and Ingolfsdottir, Anna and Palomino, Miguel (2012) Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture notes in computer science (7141). Springer, pp. 268-283. ISBN 978-3-642-29319-1

[img] PDF
Restringido a Repository staff only

247kB

Official URL: http://link.springer.com/content/pdf/10.1007%2F978-3-642-29320-7_18


URLURL Type
http://www.springer.com/Publisher


Abstract

This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement 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 reflect, refinement and the covariant-contravariant simulation preorder. The translations are also shown to preserve the modal properties that can be expressed in the logics that characterize those preorders. A translation from labelled transition systems modulo the partial bisimulation preorder into the same model modulo the covariant-contravariant simulation preorder is also offered, together with some evidence that the former model is less expressive than the latter. In order to gain more insight into the relationships between modal transition systems modulo refinement and labelled transition systems modulo the covariant-contravariant simulation preorder, their connections are also phrased and studied in the context of institutions.


Item Type:Book Section
Subjects:Sciences > Computer science
ID Code:20852
Deposited On:17 Apr 2013 08:18
Last Modified:02 Aug 2018 07:41

Origin of downloads

Repository Staff Only: item control page