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

Any de publicació: 2011

Volum: 111

Número: 9

Pàgines: 408-413

Tipus: Article

DOI: 10.1016/J.IPL.2011.01.015 GOOGLE SCHOLAR
Font de les dades: Scopus