Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics - Computer Science > Logic in Computer ScienceReportar como inadecuado




Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: Covariant-contravariant simulation and conformance simulation generalizeplain simulation and try to capture the fact that it is not always the casethat -the larger the number of behaviors, the better-. We have previouslystudied their logical characterizations and in this paper we present theaxiomatizations of the preorders defined by the new simulation relations andtheir induced equivalences. The interest of our results lies in the fact thatthe axiomatizations help us to know the new simulations better, understandingin particular the role of the contravariant characteristics and their interplaywith the covariant ones; moreover, the axiomatizations provide us with apowerful tool to algebraically prove results of the corresponding semantics.But we also consider our results interesting from a metatheoretical point ofview: the fact that the covariant-contravariant simulation equivalence isindeed ground axiomatizable when there is no action that exhibits both acovariant and a contravariant behaviour, but becomes non-axiomatizable wheneverwe have together actions of that kind and either covariant or contravariantactions, offers us a new subtle example of the narrow border separatingaxiomatizable and non-axiomatizable semantics. We expect that by studying theseexamples we will be able to develop a general theory separating axiomatizableand non-axiomatizable semantics.



Autor: Ignacio Fábregas Universidad Complutense de Madrid, Spain, David de Frutos Escrig Universidad Complutense de Madrid, Spain, Migu

Fuente: https://arxiv.org/







Documentos relacionados