Equational characterization of covariant-contravariant simulation and conformance simulation semantics

  1. Fábregas, I.
  2. De Frutos Escrig, D.
  3. Palomino, M.
Aktak:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Argitalpen urtea: 2010

Alea: 32

Orrialdeak: 1-14

Mota: Biltzar ekarpena

DOI: 10.4204/EPTCS.32.1 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus