|
Título:
|
Trace simulation semantics is not finitely based over BCCSP
|
|
Autores:
|
Aceto, L. ;
Frutos Escrig, David de ;
Ingolfsdottir, Anna
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
University of Szeged, 2017
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/restrictedAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas: Procesos estocásticos
,
Tipo = Artículo
|
|
Resumen:
|
This note shows that the trace simulation preorder does not have a finite inequational basis over the language BCCSP. Indeed, no collection of sound inequations of bounded depth is ground-complete with respect to the trace simulation preorder over BCCSP even over a singleton set of actions.
|
|
En línea:
|
https://eprints.ucm.es/43810/1/Frutos52.pdf
|
