TY  - JOUR
AU  - Fábregas Alfaro, Ignacio
AU  - Frutos Escrig, David De
AU  - Palomino Tarjuelo, Miguel
PY  - 2010
SN  - 2075-2180
UR  - https://hdl.handle.net/20.500.14352/43767
T2  - Electronic proceedings in theoretical computer science
AB  - 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...
LA  - eng
M2  - 1
PB  - EPTCS
TI  - Equational characterization of covariant-contravariant simulation and conformance simulation semantics
TY  - journal article
VL  - 32
ER  -