{"id":128860,"date":"1996-01-01T00:00:00","date_gmt":"1996-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/semanticas-de-pruebas-para-algebras-de-procesos-probabilisticos\/"},"modified":"1996-01-01T00:00:00","modified_gmt":"1996-01-01T00:00:00","slug":"semanticas-de-pruebas-para-algebras-de-procesos-probabilisticos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/semanticas-de-pruebas-para-algebras-de-procesos-probabilisticos\/","title":{"rendered":"Semanticas de pruebas para algebras de procesos probabilisticos."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Manuel Nu\u00f1ez Garcia <\/strong><\/h2>\n<p>En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion probabilistica. Definimos una semantica operacional para nuestro lenguaje, y a continuacion definimos una semantica de pruebas parametrizadas por una cierta familia de pruebas. La caracterizacion vendra dada por la probabilidad con la que los procesos pasan las pruebas del conjunto dado.  una vez definido el marco general, consideraremos dos conjuntos de pruebas los cuales estaran asociados a una interpretacion de los modelos reactivos y generativo respectivamente. Para la interpretacion del modelo reactivo daremos una caracterizacion alternativa de la semantica pruebas, la cual esta basada en trazas probabilisticas. Dado que el operador de eleccion externa no es congruente, definimos una semantica denotacional para el lenguaje en el que no se considera la eleccion externa. Esta semantica denotacional es completamente abstracta con respecto a la semantica de pruebas.  para la interpretacion generativa, definimos una caracterizacion alternativa basada en conjuntos de aceptacion probabilisticos y una semantica denotacional basada en arboles de aceptacion probabilisticos. Ademas, para este modelo definimos una semantica axiomatica.  demostramos que todas estas semanticas son equivalentes a la semantica de pruebas para el modelo generativo.  a continuacion damos una serie de ejemplos en los cuales mostramos la utilidad de nuestro lenguaje a la hora de especificar sistemas concurrentes que dependen de informacion probabilistica.  finalizamos extendiendo nuestro lenguaje con un operador de composicion paralela y discutiendo los problemas que presenta incluir un operador de restriccion.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Semanticas de pruebas para algebras de procesos probabilisticos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Semanticas de pruebas para algebras de procesos probabilisticos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Manuel Nu\u00f1ez Garcia <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1996<\/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> Frutos Escrig David De<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Mario Rodr\u00edguez Artalejo <\/li>\n<li>Alberto Llamosi Casas (vocal)<\/li>\n<li>Scott Smolka (vocal)<\/li>\n<li>Joaquin Gabarro Valles (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Manuel Nu\u00f1ez Garcia En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion [&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":[1890,986,126,6473],"tags":[5514,5511,82873,39796,4813,242191],"class_list":["post-128860","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-complutense-de-madrid","category-matematicas","category-teoria-de-la-programacion","tag-alberto-llamosi-casas","tag-frutos-escrig-david-de","tag-joaquin-gabarro-valles","tag-manuel-nunez-garcia","tag-mario-rodriguez-artalejo","tag-scott-smolka"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/128860","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=128860"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/128860\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=128860"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=128860"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=128860"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}