Semánticas de procesos para sistemas interactivos /
Destefanis, Eric Alejandro, 1986-
Semánticas de procesos para sistemas interactivos / Eric Destefanis. - [S.l. : s.n. ], 2013. - 46 p. : il. ; 30 cm.
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Bibliografía : p. 45-46.
Un sistema interactivo es un sistema donde coexisten dos tipos de eventos: los que ejecuta el entorno y producen alguna reacción en el sistema; los que ejecuta el sistema y producen reacción en el entorno. Equivalencia por trazas, simulación,
bisimulación, son algunas semánticas de procesos ampliamente estudiadas en la literatura. Estas semánticas, no encajan en el contexto de sistemas interactivos.
En este trabajo estudiamos semánticas de procesos para sistemas interactivos, modelados con autómatas de interfaz. Las semánticas se formalizan utilizando el concepto de noción de observabilidad. Una vez formalizado esto, estudiamos parcialmente cual semántica diferencia más que otra. Por último, se presenta definiciones relacionales para las semánticas que permiten este tipo de caracterización.
Semantics of programming languages
Formal languages
Semántica de lenguaje de programación
Lenguajes formales
Semánticas de procesos Procesos interactivos Comportamientos observables Simulación Bisimulación Trazas
Semánticas de procesos para sistemas interactivos / Eric Destefanis. - [S.l. : s.n. ], 2013. - 46 p. : il. ; 30 cm.
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Bibliografía : p. 45-46.
Un sistema interactivo es un sistema donde coexisten dos tipos de eventos: los que ejecuta el entorno y producen alguna reacción en el sistema; los que ejecuta el sistema y producen reacción en el entorno. Equivalencia por trazas, simulación,
bisimulación, son algunas semánticas de procesos ampliamente estudiadas en la literatura. Estas semánticas, no encajan en el contexto de sistemas interactivos.
En este trabajo estudiamos semánticas de procesos para sistemas interactivos, modelados con autómatas de interfaz. Las semánticas se formalizan utilizando el concepto de noción de observabilidad. Una vez formalizado esto, estudiamos parcialmente cual semántica diferencia más que otra. Por último, se presenta definiciones relacionales para las semánticas que permiten este tipo de caracterización.
Semantics of programming languages
Formal languages
Semántica de lenguaje de programación
Lenguajes formales
Semánticas de procesos Procesos interactivos Comportamientos observables Simulación Bisimulación Trazas