Equational characterization of covariant-contravariant simulation and conformance simulation semantics
Konferenzberichte:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Datum der Publikation: 2010
Ausgabe: 32
Seiten: 1-14
Art: Konferenz-Beitrag