Axiomatizing weak simulation semantics over BCCSP

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

ISSN: 0304-3975

Datum der Publikation: 2014

Ausgabe: 537

Nummer: C

Seiten: 42-71

Art: Artikel

DOI: 10.1016/J.TCS.2013.03.013 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus