Trace simulation semantics is not finitely based over BCCSP

  1. Aceto, L.
  2. De Frutos Escrig, D.
  3. Ingolfsdottir, A.
Aldizkaria:
Acta Cybernetica

ISSN: 0324-721X

Argitalpen urtea: 2017

Alea: 23

Zenbakia: 1

Orrialdeak: 81-90

Mota: Artikulua

DOI: 10.14232/ACTACYB.23.1.2017.6 GOOGLE SCHOLAR lock_openSarbide irekia editor

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus