Axiomatizing weak simulation semantics over BCCSP

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

ISSN: 0304-3975

Argitalpen urtea: 2014

Alea: 537

Zenbakia: C

Orrialdeak: 42-71

Mota: Artikulua

DOI: 10.1016/J.TCS.2013.03.013 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus