Autor:
Romero-Hernández, David

Foto de perfil
E-mails conocidos
dromeroh@pdi.ucm.es
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Romero-Hernández
Nombre de pila
David
Nombre
Nombres alternativos
Afiliaciones conocidas
Facultad CC. Matematicas, Universidad Complutense de Madrid Madrid, Spain. Departamento de Sistemas Informaticos y Computación
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Filtros

20151
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story
    Romero-Hernández, David; de Frutos Escrig, David; Della Monica, Dario. Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015), 2015-09-15.
    We have developed a global approach to define bisimulation distances which goes somehow further away than the bisimulation distances based on the bisimulation game, previously proposed by some other authors. Our proposal is based on the cost of transformations: how much we need to modify one of the compared processes to obtain the other. Our original definition only covered finite processes, but a coinductive approach extends it to cover infinite but finitary trees. We have shown many interesting properties of our distances, and we wanted to prove their continuity with respect to projections, bur unfortunately we have not been able to accomplish that task. However, we have obtained several partial results that we now present in this paper.