Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
- Aceto, L.
- De Frutos Escrig, D.
- Gregorio-Rodríguez, C.
- Ingolfsdottir, A.
ISSN: 0020-0190
Argitalpen urtea: 2011
Alea: 111
Zenbakia: 9
Orrialdeak: 408-413
Mota: Artikulua