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

Ano de publicación: 2014

Volume: 537

Número: C

Páxinas: 42-71

Tipo: Artigo

DOI: 10.1016/J.TCS.2013.03.013 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus