Autor:
Romero-Hernández, David

Cargando...
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

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • 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.