Axiomatizing weak simulation semantics over BCCSP

  1. Aceto, L.
  2. de Frutos Escrig, D.
  3. Gregorio-Rodríguez, C.
  4. Ingolfsdottir, A.
Revista:
Theoretical Computer Science

ISSN: 0304-3975

Año de publicación: 2014

Volumen: 537

Número: C

Páginas: 42-71

Tipo: Artículo

DOI: 10.1016/J.TCS.2013.03.013 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus