Tesis doctoral de Carlos Gregorio Rodriguez
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 se má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 distint as 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.
Datos académicos de la tesis doctoral «Entendiendo las semánticas de procesos«
- Título de la tesis: Entendiendo las semánticas de procesos
- Autor: Carlos Gregorio Rodriguez
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 14/07/2009
Dirección y tribunal
- Director de la tesis
- David De Frutos Escrig
- Tribunal
- Presidente del tribunal: manuel Núñez García
- Fernando Cuartero gomez (vocal)
- matthew Hennessy (vocal)
- wan Fokkink (vocal)