Información del autor
Documentos disponibles escritos por este autor (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Romero Hernández, David | 2010El trabajo más importante de catalogación y clasificación de las semánticas de procesos fue llevado a cabo por R. J. van Glabbeek. En su artículo titulado "Linear time-branching time spectrum", recopiló las principales semánticas, estableciendo [...]texto impreso
Bisimulation captures in a coinductive way the quivalence between processes, or trees. Several authors have defined bisimulation distances based on the bisimulation game. However, this approach becomes too local: whenever we have in one of the c[...]texto impreso
Recently several authors have proposed some notions of distance between processes that try to quantify “how far away” is a process to be related with some other with respect to a certain semantics. These proposals are usually based on the simula[...]texto impreso
We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the classic linear time-branching time spectrum developed by R.J. van [...]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[...]
