Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

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

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n. ], 2013.Descripción: 46 p. : il. ; 30 cmTema(s): Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Resumen: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF Secc. Tesis y Trabajos especiales Trabajo Especial Computación CAJA 15 - 22005 1 Disponible 22005
Total de reservas: 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.

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)