{"id":22111,"date":"2018-03-09T09:12:09","date_gmt":"2018-03-09T09:12:09","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/semanticas-para-algebras-de-procesos-estocasticos-no-markovianos\/"},"modified":"2018-03-09T09:12:09","modified_gmt":"2018-03-09T09:12:09","slug":"semanticas-para-algebras-de-procesos-estocasticos-no-markovianos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/semanticas-para-algebras-de-procesos-estocasticos-no-markovianos\/","title":{"rendered":"Semanticas para \u00e1lgebras de procesos estoc\u00e1sticos no markovianos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Natalia L\u00f3pez Barquilla <\/strong><\/h2>\n<p>En esta tesis se ha realizado un estudio de sem\u00e1nticas para \u00e1lgebras de procesos estoc\u00e1sticos no markovianos.  en primer lugar se ha estudiado una extensi\u00f3n de la bisimulaci\u00f3n d\u00e9bil llamada \u00abglobal\u00bb, con la que se pretende solucionar diversos problemas que tiene la definici\u00f3n original.  a continuaci\u00f3n se ha definido una sem\u00e1ntica operacional para las \u00e1lgebras estoc\u00e1sticas donde las variables aleatorias puden ser de cualquier tipo.  bas\u00e1ndose en esa sem\u00e1ntica operacional se han estudiado sem\u00e1nticas de bisimulaci\u00f3n y de testing.  por \u00faltimo se ha estudiado la forma de incrementar el poder expresivo del lenguaje presentado mediante una traducci\u00f3n a un lenguaje de programaci\u00f3n funcional-paralelo: ed\u00e9n.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Semanticas para \u00e1lgebras de procesos estoc\u00e1sticos no markovianos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Semanticas para \u00e1lgebras de procesos estoc\u00e1sticos no markovianos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Natalia L\u00f3pez Barquilla <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 17\/03\/2003<\/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>Manuel N\u00fa\u00f1ez Garc\u00eda<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  De frutos escrig david <\/li>\n<li>Fernando Cuartero g\u00f3mez (vocal)<\/li>\n<li>Javier Campos laclaustra (vocal)<\/li>\n<li>mario Bravetti (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Natalia L\u00f3pez Barquilla En esta tesis se ha realizado un estudio de sem\u00e1nticas para \u00e1lgebras de procesos [&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":[6476,5510,39795,39796,66291,66290],"class_list":["post-22111","post","type-post","status-publish","format-standard","hentry","category-sin-categoria","tag-de-frutos-escrig-david","tag-fernando-cuartero-gomez","tag-javier-campos-laclaustra","tag-manuel-nunez-garcia","tag-mario-bravetti","tag-natalia-lopez-barquilla"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/22111","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=22111"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/22111\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=22111"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=22111"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=22111"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}