Trace simulation semantics is not finitely based over BCCSP
- Aceto, L.
- De Frutos Escrig, D.
- Ingolfsdottir, A.
ISSN: 0324-721X
Ano de publicación: 2017
Volume: 23
Número: 1
Páxinas: 81-90
Tipo: Artigo
ISSN: 0324-721X
Ano de publicación: 2017
Volume: 23
Número: 1
Páxinas: 81-90
Tipo: Artigo