Sciweavers

FORTE
2010
14 years 1 months ago
Logics for Contravariant Simulations
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...
Ignacio Fábregas, David de Frutos-Escrig, M...