Axiomatizing weak simulation semantics over BCCSP

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

ISSN: 0304-3975

Année de publication: 2014

Volumen: 537

Número: C

Pages: 42-71

Type: Article

DOI: 10.1016/J.TCS.2013.03.013 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus