{"id":12153,"date":"2001-10-07T00:00:00","date_gmt":"2001-10-07T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/pnal-un-modelo-algebraico-para-procesos-probabilisticos-y-no-deterministas\/"},"modified":"2001-10-07T00:00:00","modified_gmt":"2001-10-07T00:00:00","slug":"pnal-un-modelo-algebraico-para-procesos-probabilisticos-y-no-deterministas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/pnal-un-modelo-algebraico-para-procesos-probabilisticos-y-no-deterministas\/","title":{"rendered":"Pnal. un modelo algebraico para procesos probabilisticos y no deterministas"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Diego Carlos Cazorla Lopez <\/strong><\/h2>\n<p>En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas (pnal), que extiende el modelo epl de m. Hennessy(algebraic theory of processes, mit press, 1988).  la sintexis de pnal es una extension de la de epl que mantiene los dos operadores clasicos de eleccion (eleccion interna y eleccion externa) y ademas introduce un nuevo operador de eleccion, la eleccion probabilistica. hemos definido la semantica operacional de pnal, por medio de un sistema de transicion etiquetado  en donde aparecen 3 grupos de reglas de transicion, cada uno de los esta cuales relacionado con uno de los tipos de transicion, posibles : probabilistica, observales y no observables.  tomando como base la semantica operacional, definimos una semantica de pruebas que consiste, como es habitual, en estudiar las respuestas de los procesos a los tests. La existencia en nuestro modelo de una eleccion probabilistica introduce una nueva variable en el problema, ya que ahora no nos bastara con saber si un proceso puede o debe satisfacer un test, sino que ahora debemos generalizar el problema y \u00abcalcular\u00bb con que probabilidad (o conjunto de probabilidades) un proceso satisface un test.  posteriormente hemos definido una semantica denotacional en la que los objetos del dominio semantico, los arboles de aceptacion probabilisticos o pat, constituyen una extension muy intuitiva de los arboles de aceptacion at dfinidos en [hen88]. Se han obtenido dos resultados: en primer lugar que procesos equivalentes en epl siguen siendolo en nuestro modelo, y en segundo lugar que la semantica denotacional y la semantica de pruebas identifican los mismos procesos.  finalmente, se aborda el estudio del estudio del sistema de axiomas y reglas. tomando como punto de partida el sistema de prueba para epl, hemos estudiado que ecuaciones, inecuaciones y reglas seguian siendo validas en el caso probabilistico. Posteriormente hemos a\u00f1adido los axiomas relacionadoso<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Pnal. un modelo algebraico para procesos probabilisticos y no deterministas<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Pnal. un modelo algebraico para procesos probabilisticos y no deterministas <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Diego Carlos Cazorla Lopez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 10\/07\/2001<\/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>Fernando Cuartero Gomez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: isidro Ramos salavert <\/li>\n<li>Javier Campos laclaustra (vocal)<\/li>\n<li> De frutos escrig david (vocal)<\/li>\n<li>Manuel Nu\u00f1ez garcia (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Diego Carlos Cazorla Lopez En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas [&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":[18451,1890,126,6473],"tags":[6476,39794,5510,17055,39795,39796],"class_list":["post-12153","post","type-post","status-publish","format-standard","hentry","category-castilla-la-mancha","category-ciencia-de-los-ordenadores","category-matematicas","category-teoria-de-la-programacion","tag-de-frutos-escrig-david","tag-diego-carlos-cazorla-lopez","tag-fernando-cuartero-gomez","tag-isidro-ramos-salavert","tag-javier-campos-laclaustra","tag-manuel-nunez-garcia"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/12153","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=12153"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/12153\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=12153"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=12153"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=12153"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}