CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Semánticas de procesos para sistemas interactivos / Eric Destefanis.

By: Destefanis, Eric Alejandro, 1986-.
Contributor(s): D'Argenio, Pedro Ruben, 1968- [dir.] | Lee, Matías David, 1982- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2013Description: 46 p. : il. ; 30 cm.Subject(s): 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 | TrazasOnline resources: Acceso a Versión Digital. Disponible en línea.Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C DES http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/16916.pdf 1 Available Disponible también en línea. 22005
Total holds: 0

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.

Disponible en línea.

La biblioteca posee 1 ej.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar



//