{"id":112516,"date":"2018-03-11T10:39:31","date_gmt":"2018-03-11T10:39:31","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tecnicas-coalgebraicas-y-categoricas-para-el-estudio-de-las-semanticasde-procesos\/"},"modified":"2018-03-11T10:39:31","modified_gmt":"2018-03-11T10:39:31","slug":"tecnicas-coalgebraicas-y-categoricas-para-el-estudio-de-las-semanticasde-procesos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/tecnicas-coalgebraicas-y-categoricas-para-el-estudio-de-las-semanticasde-procesos\/","title":{"rendered":"T\u00e9cnicas coalgebraicas y categ\u00f3ricas para el estudio de las sem\u00e1nticasde procesos."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Ignacio Fabregas Alfaro <\/strong><\/h2>\n<p>De un modo general, esta tesis puede englobarse dentro del estudio de los sistemas de procesos y, muy especialmente, del estudio de las relaciones entre esos procesos mediante bisimulaci\u00f3n y simulaci\u00f3n (abreviadamente (bi)simulaci\u00f3n). Adem\u00e1s, los res ultados que aqu\u00ed aparecen est\u00e1n sustentados en gran parte por el marco general de la teor\u00eda de categor\u00edas y, m\u00e1s concretamente, en el de las co\u00e1lgebras en el que jesse hughes y bart jacobs propusieron una definici\u00f3n general de simulaci\u00f3n entre co\u00e1lge bras. La noci\u00f3n de simulaci\u00f3n entre co\u00e1lgebras se apoya en los conceptos de orden funtorial y alzamiento de relaciones; la bisimulaci\u00f3n entre co\u00e1lgebras es un caso particular de simulaci\u00f3n (en la que el orden funtorial es la igualdad).  la (bi)simula ci\u00f3n coalgebraica permite disponer de un \u00fanico concepto general cuyas instancias definen las nociones concretas para sistemas de transiciones (lts), estructuras de kripke, etc. No obstante no todo orden funtorial define una relaci\u00f3n de similitud corr ecta pues, en concreto, es necesario que se cumpla la condici\u00f3n de estabilidad para asegurar que la composici\u00f3n de simulaciones es tambi\u00e9n una simulaci\u00f3n, y as\u00ed garantizar que la similitud sea una relaci\u00f3n transitiva.  podemos considerar dos partes e senciales en esta tesis: en la primera explotamos la potencia de la definici\u00f3n coalgebraica de simulaci\u00f3n para obtener resultados generales, mientras que en la segunda nos centramos en el estudio de dos nuevas nociones de simulaci\u00f3n que hemos propues to, pero en esta ocasi\u00f3n desde un punto de vista m\u00e1s cl\u00e1sico al estilo de los resultados de van glabbeek.  en primer lugar, estudiamos bajo qu\u00e9 condiciones las instancias de dichas nociones categ\u00f3ricas generales de (bi)simulaci\u00f3n permiten traspasar p ropiedades entre las estructuras relacionadas, es decir, en qu\u00e9 condiciones se puede generalizar al mundo coalgebraico los resultados cl\u00e1sicos de reflexi\u00f3n y preservaci\u00f3n de propiedades l\u00f3gicas mediante bisimulaciones, y la preservaci\u00f3n mediante simu laciones. Nuestra conclusi\u00f3n es que, si bien para el caso de las bisimulaciones se obtiene la deseada generalizaci\u00f3n, para el caso de la simulaci\u00f3n es necesario restringir los \u00f3rdenes que participan en la definici\u00f3n de simulaci\u00f3n propuesta de hughes y jacobs, obteni\u00e9ndose en este caso resultados parciales.  tambi\u00e9n estudiamos c\u00f3mo las transformaciones naturales entre funtores permiten unificar nociones de (bi)simulaci\u00f3n entre distintos tipos de estructuras, obteniendo resultados de representaci\u00f3<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>T\u00e9cnicas coalgebraicas y categ\u00f3ricas para el estudio de las sem\u00e1nticasde procesos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 T\u00e9cnicas coalgebraicas y categ\u00f3ricas para el estudio de las sem\u00e1nticasde procesos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Ignacio Fabregas Alfaro <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 16\/03\/2012<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Miguel Palomino Tarjuelo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: narciso Mart\u00ed oliet <\/li>\n<li>wan Fokkink (vocal)<\/li>\n<li>Fernando Orejas vald\u00e9s (vocal)<\/li>\n<li>joaquim Gabarr\u00f3 vall\u00e9s (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ignacio Fabregas Alfaro De un modo general, esta tesis puede englobarse dentro del estudio de los sistemas [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[986,126],"tags":[5512,223821,15627,159113,66539,195949],"class_list":["post-112516","post","type-post","status-publish","format-standard","hentry","category-complutense-de-madrid","category-matematicas","tag-fernando-orejas-valdes","tag-ignacio-fabregas-alfaro","tag-joaquim-gabarro-valles","tag-miguel-palomino-tarjuelo","tag-narciso-marti-oliet","tag-wan-fokkink"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/112516","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=112516"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/112516\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=112516"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=112516"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=112516"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}