{"id":144453,"date":"1993-01-01T00:00:00","date_gmt":"1993-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tecnicas-formales-para-el-desarrollo-jerarquico-de-sistemas-concurrentes\/"},"modified":"1993-01-01T00:00:00","modified_gmt":"1993-01-01T00:00:00","slug":"tecnicas-formales-para-el-desarrollo-jerarquico-de-sistemas-concurrentes","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/tecnicas-formales-para-el-desarrollo-jerarquico-de-sistemas-concurrentes\/","title":{"rendered":"Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Alonso Gonzalez Luis M. <\/strong><\/h2>\n<p>Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas que ineracicionan con su entorno enviando y recibiendo mensajes. La especificacion de un sistema esta dada por una familia de variables de estado que representan los estados del sistema; una familia de reglas de transicion que describen el cambio de estado que tiene lugar con cada operacion de comunicacion; una familia de guardas, que junto con las anteriores, describen las secuencias de comunicaciones posibles; una familia de reglas de vitalidad que describen ciertas propiedades del sistema.  se incluye tambien una nocion de implementacion distribuida y se presentan tecnicas para establecer formalmente su corpeccion.  la semantica de las especificaciones con variables de estado se establecen empleando un modelo matematico de los programas paralelos ampliamente difundido: el modlo de fallos.  se definen una representacion de dicho modelo empleando una clase particular de automatas, los llamados automatas de aceptacion. Dicha representacion prporciona tambien las bases para la construccion de herramientas de verificacion auromatica de sistemas concurrentes, cuando el numero de estados es finito. La utilidad del metodo propuesto se ilustra mediante su aplicacion en diversos ejemplos no triviales.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Alonso Gonzalez Luis M. <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Pa\u00eds vasco\/euskal herriko unibertsitatea<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1993<\/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>Ricardo Pe\u00f1a Mari<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  De Frutos Escrig David <\/li>\n<li>Jos\u00e9 Mar\u00eda Troya Linero (vocal)<\/li>\n<li>Angel Alvarez Rodriguez (vocal)<\/li>\n<li>Marisa Navarro G\u00f3mez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a 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":[1890,126,12909,6473],"tags":[34352,21136,6476,4814,100286,16545],"class_list":["post-144453","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-matematicas","category-pais-vasco-euskal-herriko-unibertsitatea","category-teoria-de-la-programacion","tag-alonso-gonzalez-luis-m","tag-angel-alvarez-rodriguez","tag-de-frutos-escrig-david","tag-jose-maria-troya-linero","tag-marisa-navarro-gomez","tag-ricardo-pena-mari"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/144453","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=144453"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/144453\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=144453"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=144453"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=144453"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}