Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet

  1. Aceto, L.
  2. De Frutos Escrig, D.
  3. Gregorio-Rodríguez, C.
  4. Ingolfsdottir, A.
Revista:
Information Processing Letters

ISSN: 0020-0190

Año de publicación: 2011

Volumen: 111

Número: 9

Páginas: 408-413

Tipo: Artículo

DOI: 10.1016/J.IPL.2011.01.015 GOOGLE SCHOLAR
Fuente de los datos: Scopus