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
We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new t[...]
