Autor:
de Frutos Escrig, David

Foto de perfil

E-mails conocidos

defrutos@sip.ucm.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

de Frutos Escrig

Nombre de pila

David

Nombre

Nombres alternativos

de Frutos-Escrig, David

Afiliaciones conocidas

Universidad Complutense de Madrid, Spain
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.