Equational characterization of covariant-contravariant simulation and conformance simulation semantics
Actes:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Any de publicació: 2010
Volum: 32
Pàgines: 1-14
Tipus: Aportació congrés