Trace simulation semantics is not finitely based over BCCSP
- Aceto, L.
- De Frutos Escrig, D.
- Ingolfsdottir, A.
ISSN: 0324-721X
Datum der Publikation: 2017
Ausgabe: 23
Nummer: 1
Seiten: 81-90
Art: Artikel
ISSN: 0324-721X
Datum der Publikation: 2017
Ausgabe: 23
Nummer: 1
Seiten: 81-90
Art: Artikel