Información de la editorial
Documentos disponibles de esta editorial (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
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 ov[...]
