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
Frutos Escrig, David de ; Gregorio Rodríguez, Carlos ; Palomino, Miguel ; Romero Hernández, David | Tech Univ Braunschweig, Inst Theoretical Computer Sci | 2013Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their discrimination power. In this paper we bring forward a refinement of[...]
