2 search results - page 1 / 1 » Equational Characterization of Covariant-Contravariant Simul... |
CORR
2010
Springer
15 years 3 months ago
2010
Springer
103
click to vote
FORTE
2010
15 years 4 months ago
2010
Abstract. 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 al...