Equational characterization of covariant-contravariant simulation and conformance simulation semantics
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Ano de publicación: 2010
Volume: 32
Páxinas: 1-14
Tipo: Achega congreso