n veces a través del espejo

Este trabajo se enfoca en el área de semántica de sistemas reactivos que, a diferencia de los sistemas relaciónales o funcionales, se caracterizan por mantener una interacción con el ambiente. Sobre dichos sitemas se define una gran clase de operadores unarios, cuyos representantes típicos son los o...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Pertino, Cecilia
Otros Autores: Echagüe, Juan Vicente
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 1995
Materias:
Ciencias Informáticas
semántica
simulación
sistemas reactivos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2131
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-2131
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
semántica
simulación
sistemas reactivos
spellingShingle Ciencias Informáticas
semántica
simulación
sistemas reactivos
Pertino, Cecilia
n veces a través del espejo
topic_facet Ciencias Informáticas
semántica
simulación
sistemas reactivos
description Este trabajo se enfoca en el área de semántica de sistemas reactivos que, a diferencia de los sistemas relaciónales o funcionales, se caracterizan por mantener una interacción con el ambiente. Sobre dichos sitemas se define una gran clase de operadores unarios, cuyos representantes típicos son los operadores de prioridad, de renombrado y de ocultamiento y se estudia su compatibilidad con respecto a equivalencias semánticas en modelos de si.stem.as de transiciones etiquetadas (STE). En principio se consideran los operadores de prioridad y se obtiene que la n-nested. simulación no es una congruencia para ellos. Se muestra que la m.a.yor congruencia. contenida en esta equivalencia es estrictamente más gruesa que la n + 1-nested simulación. Luego se generaliza el conjunto de operadores para incluir muchos de los operadores unarios estáticos usados en sistemas reactivos y se obtiene que ready-simulación y bisimulación son congruencias para ese conjunto. Se demuestra además que la n- nested sim.ulación es una congruencia sólo cuando el operador unario es monótono. Finalmente se introduce una nueva familia infinita de equivalencias semánticas sobre los STE, la n-nested ready simulación que posee las propiedades requeridas de congruencia para todos los operadores de la clase estudiada. Esta familia es estrictamente más fina que la mayor congruencia para estos operadores que está contenida en la n-nested simulación.
author2 Echagüe, Juan Vicente
author_facet Echagüe, Juan Vicente
Pertino, Cecilia
format Tesis
Tesis de grado
author Pertino, Cecilia
author_sort Pertino, Cecilia
title n veces a través del espejo
title_short n veces a través del espejo
title_full n veces a través del espejo
title_fullStr n veces a través del espejo
title_full_unstemmed n veces a través del espejo
title_sort n veces a través del espejo
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/2131
work_keys_str_mv AT pertinocecilia nvecesatravesdelespejo
bdutipo_str Repositorios
_version_ 1764820464388014082

Ejemplares similares