RT Book, Section
T1 Logics for contravariant simulations
A1 Fábregas, Ignacio
A1 Frutos Escrig, David De
A2 Hatcliff, John
A2 Zucca, Elena
AB Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the case that “the larger the number of behaviors, the better”. Therefore, they can be considered to be more adequate to express the fact that a system is a correct implementation of some specification. We have previously shown that these two more elaborated notions fit well within the categorical framework developed to study the notion of simulation in a generic way. Now we show that their behaviors have also simple and natural logical characterizations, though more elaborated than those for the plain simulation semantics.
PB Springer
SN 978-3-642-13463-0
YR 2010
FD 2010
LK https://hdl.handle.net/20.500.14352/45440
UL https://hdl.handle.net/20.500.14352/45440
LA eng
NO Fábregas, I. & Frutos Escrig, D. «Logics for Contravariant Simulations». Formal Techniques for Distributed Systems, editado por John Hatcliff y Elena Zucca, vol. 6117, Springer Berlin Heidelberg, 2010, pp. 224-31. DOI.org (Crossref), https://doi.org/10.1007/978-3-642-13464-7_18.
NO Comunidad de Madrid
NO Ministerio de Ciencia, Innovación y Universidades (España)
NO Ministerio de Educación, Formación Profesional y Deportes (España)
DS Docta Complutense
RD 17 abr 2025