RT Generic
T1 Caracterizaciones lógicas uniformes de las semánticas de procesos
A1 Romero Hernández, David
AB El trabajo más importante de catalogación y clasificación de las semánticas de procesos fue llevado a cabo por R. J. van Glabbeek. En su artículo titulado "Linear time-branching time spectrum", recopiló las principales semánticas, estableciendo una clasificación basada en el poder de distinción de las mismas. Las caracterizaciones que aparecen en dicho artículo se realizan mediante fórmulas lógicas y axiomatizaciones fundamentalmente. Sin embargo,si bien el trabajo tiene un cierto carácter enciclopédico,se echa en falta notablemente la uniformidad a la hora de desarrollar las caracterizaciones de las distintas semánticas. La búsqueda de caracterizaciones uniformes fue uno de los temas centrales de la Tesis Doctoral de C. Gregorio, en la que, partiéndose de la diferencia entre las semánticas de simulación, y las semánticas lineales se encontraron los mecanismos que permiten unificar tanto las caracterizaciones observacionales como las axiomáticas. El objetivo central de este trabajo ha consistido en completar la labor de unificacación anterior, extendiéndola al campo de las semánticas lógicas, donde de nuevo, hemos encontrado caracterizaciones similares a las de van Glabbeek, pero desarrolladas en un marco uniforme del que distan las originalmente obtenidas.[ABSTRACT]The most important work to classify process semantics was developed by R. J. van Glabbeek, in his paper "Linear time-branching time spectrum", where he collects the most important process semantics, classifying them with respect to their discriminating power. His semantics are dened both by means of an adequate logic and a complete axiomatization. However the most important objection that we could make to his work was the lack of uniformity. The search of uniform characterizations of all the process semantics was one of the central topics of C. Gregorios PhD Thesis where he develops both uniform presentation of the observational semantics and of their axiomatizations. Our main objective here is to complete this unification work by providing a uniform logical characterization of all the semantics in the spectrum. Starting from the logic semantics provided by van Glabbeek we have obtained simple new logics that give us additional knowledge about the structure of the extended ltbt-spectrum.
YR 2010
FD 2010
LK https://hdl.handle.net/20.500.14352/46272
UL https://hdl.handle.net/20.500.14352/46272
LA spa
NO Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2009-2010
DS Docta Complutense
RD 6 may 2024