{"id":50455,"date":"2021-06-07T22:03:21","date_gmt":"2021-06-07T22:03:21","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/contribucion-a-la-modelacion-y-especificacion-del-comportamiento-observable-de-sistemas-concurrentes\/"},"modified":"2021-06-07T22:03:21","modified_gmt":"2021-06-07T22:03:21","slug":"contribucion-a-la-modelacion-y-especificacion-del-comportamiento-observable-de-sistemas-concurrentes","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/contribucion-a-la-modelacion-y-especificacion-del-comportamiento-observable-de-sistemas-concurrentes\/","title":{"rendered":"Contribucion a la modelacion y especificacion del comportamiento observable de sistemas concurrentes"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Gonzalo Le\u00f3n Serrano <\/strong><\/h2>\n<p>El trabajo desarrollado describe un modelo conceptual de sistema concurrente y una herramienta notacional para describir su comportamiento observable. El modelo conceptual esta basado en la teoria general de redes (formalizacion de las redes de petri) como tratamiento basico de los eventos observables y de las tecnicas de descomposicion funcional (principalmente metodolog\u00eda galileo). La descripcion de un proceso concurrente se realiza mediante tres niveles estrechamente relacionados utilizndo una herramienta notacional denominada expresiones de coordinacion. El comportamiento de un sistema concurente se efectua mediante tres operaciones:  composicion  descomposicion y reetiquetado que permiten construir sistemas a partir de subsitemas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Contribucion a la modelacion y especificacion del comportamiento observable de sistemas concurrentes<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Contribucion a la modelacion y especificacion del comportamiento observable de sistemas concurrentes <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Gonzalo Le\u00f3n Serrano <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1982<\/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 Saez Vacas<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Riera Garcia Juan  Bautista <\/li>\n<li>Antonio  Ram\u00f3n Vaquero S\u00e1nchez (vocal)<\/li>\n<li>Pedro De Miguel Anasagasti (vocal)<\/li>\n<li>Fernando Saez Vacas (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Gonzalo Le\u00f3n Serrano El trabajo desarrollado describe un modelo conceptual de sistema concurrente y una herramienta notacional [&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,16008,15624],"tags":[6568,30662,16198,16053,16600],"class_list":["post-50455","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-madrid","category-software","tag-antonio-ramon-vaquero-sanchez","tag-fernando-saez-vacas","tag-gonzalo-leon-serrano","tag-pedro-de-miguel-anasagasti","tag-riera-garcia-juan-bautista"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/50455","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=50455"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/50455\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=50455"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=50455"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=50455"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}