Entendiendo las semánticas de procesos
- David de Frutos Escrig Director
Defence university: Universidad Complutense de Madrid
Fecha de defensa: 14 July 2009
- Manuel Núñez García Chair
- L. F. Llana Secretary
- Fernando Cuartero Gómez Committee member
- Matthew Hennessy Committee member
- Wan Fokkink Committee member
Type: Thesis
Abstract
En las investigaciones seguidas para la consecución de la tesis, fundamentalmente se ha buscado un punto de vista unificador que permita estudiar conjuntamente las múltiples semánticas de procesos desarrolladas hasta la fecha, poniendo de manifiesto tanto las propiedades comunes de todas ellas, como aquéllas que provocan su especificidad. Al respecto, destacan las nuevas nociones presentadas en la tesis de simulación up-to y bisimulación up-to que permiten definir coinductivamente tanto las semánticas ramificadas como las lineales. A partir de ellas se obtuvieron los resultados que permiten demostrar, de manera a la vez sencilla y general, las relaciones entre las axiomatizaciones de los preórdenes y equivalencias que definen las distintas semánticas, y obtener sus caracterizaciones observacionales y axiomáticas parametrizadas que facilitan el entendimiento y la comprensión del nuevo espectro obtenido de las semánticas de procesos.