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

ISSN: 0020-0190

Datum der Publikation: 2011

Ausgabe: 111

Nummer: 9

Seiten: 408-413

Art: Artikel

DOI: 10.1016/J.IPL.2011.01.015 GOOGLE SCHOLAR
Datenquelle: Scopus