Entendiendo las semánticas de procesos

Laburpena

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.