A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
2010
Electronic Proceedings in Theoretical Computer Science
Covariant-contravariant simulation and conformance simulation generalize plain simulation and try to capture the fact that it is not always the case that "the larger the number of behaviors, the better". We have previously studied their logical characterizations and in this paper we present the axiomatizations of the preorders defined by the new simulation relations and their induced equivalences. The interest of our results lies in the fact that the axiomatizations help us to know the new
doi:10.4204/eptcs.32.1
fatcat:vn4pa4cjqnb2tbevzp4vsyfjqq