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.
Revue:
Information Processing Letters

ISSN: 0020-0190

Année de publication: 2011

Volumen: 111

Número: 9

Pages: 408-413

Type: Article

DOI: 10.1016/J.IPL.2011.01.015 GOOGLE SCHOLAR
La source de données: Scopus