{"id":95208,"date":"2018-03-11T10:15:10","date_gmt":"2018-03-11T10:15:10","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/entendiendo-las-semanticas-de-procesos\/"},"modified":"2018-03-11T10:15:10","modified_gmt":"2018-03-11T10:15:10","slug":"entendiendo-las-semanticas-de-procesos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/entendiendo-las-semanticas-de-procesos\/","title":{"rendered":"Entendiendo las sem\u00e1nticas de procesos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Carlos Gregorio Rodriguez <\/strong><\/h2>\n<p>En las investigaciones seguidas para la consecuci\u00f3n de la tesis, fundamentalmente se ha buscado un punto de vista unificador que permita estudiar conjuntamente las m\u00faltiples sem\u00e1nticas de procesos desarrolladas hasta la fecha, poniendo de manifiesto tanto las propiedades comunes de todas ellas, como aqu\u00e9llas que provocan su especificidad. Al respecto, destacan las nuevas nociones presentadas en la tesis  de simulaci\u00f3n up-to y bisimulaci\u00f3n up-to que permiten definir coinductivamente tanto  las se m\u00e1nticas 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\u00f3rdenes y equiValencias que definen las distint as sem\u00e1nticas, y obtener sus caracterizaciones observacionales y axiom\u00e1ticas parametrizadas que facilitan el entendimiento y la comprensi\u00f3n del nuevo espectro  obtenido de las sem\u00e1nticas de procesos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Entendiendo las sem\u00e1nticas de procesos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Entendiendo las sem\u00e1nticas de procesos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Carlos Gregorio Rodriguez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 14\/07\/2009<\/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>David De Frutos Escrig<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: manuel N\u00fa\u00f1ez Garc\u00eda <\/li>\n<li>Fernando Cuartero gomez (vocal)<\/li>\n<li>matthew Hennessy (vocal)<\/li>\n<li>wan Fokkink (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Carlos Gregorio Rodriguez En las investigaciones seguidas para la consecuci\u00f3n de la tesis, fundamentalmente se ha buscado [&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":[1],"tags":[195946,195947,5510,39796,195948,195949],"class_list":["post-95208","post","type-post","status-publish","format-standard","hentry","category-sin-categoria","tag-carlos-gregorio-rodriguez","tag-david-de-frutos-escrig","tag-fernando-cuartero-gomez","tag-manuel-nunez-garcia","tag-matthew-hennessy","tag-wan-fokkink"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/95208","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=95208"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/95208\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=95208"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=95208"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=95208"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}