Semánticas de procesos para sistemas interactivos / (Registro nro. 16916)
[ vista simple ]
| 000 -Encabezamiento | |
|---|---|
| fixed length control field | 02287nam a22003977a 4500 |
| 001 - Número de Control | |
| control field | 16916 |
| 003 - Identificador del Número de Control | |
| control field | AR_CdUFM |
| 005 - Fecha de Ultima Modificación | |
| control field | 20200831125413.0 |
| 006 - Elementos de Fongitud Fija--Características Adicionales del Material--Información General | |
| fixed length control field | a|||||r|||| 00| 0 |
| 007 - Campo Fijo de Descripción Física--Información General | |
| fixed length control field | ta |
| 008 - Elementos de Fongitud Fija--Información General | |
| fixed length control field | 131031e2013 ag_||||| |||| 00| 0 spa d |
| 040 ## - Origen de la Catalogación | |
| Agencia/entidad que catalogó originalmente la obra | AR_CdUFM |
| 100 1# - Entrada Principal - Nombre Personal | |
| Nombre Personal | Destefanis, Eric Alejandro, |
| Fechas asociadas con el nombre | 1986- |
| 9 (RLIN) | 4078 |
| 245 10 - Título propiamente dicho | |
| Título | Semánticas de procesos para sistemas interactivos / |
| Mención de responsabilidad | Eric Destefanis. |
| 260 ## - Publicación, Distribución, etc. (Pie de Imprenta) | |
| Lugar de publicación, distribución, etc. | [S.l. : |
| Nombre de la editorial, distribuidor, etc. | s.n. ], |
| Fecha de publicación, distribución, etc. | 2013. |
| 300 ## - Descripción Física | |
| Extensión | 46 p. : |
| Otros detalles físicos | il. ; |
| Dimensiones | 30 cm. |
| 502 ## - Nota de disertación | |
| 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. |
| 504 ## - Nota de Bibliografía, etc. | |
| Nota de Bibliografía, etc. | Bibliografía : p. 45-46. |
| 520 ## - Resumen, etc. | |
| Nota de resumen, etc. | 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,<br/>bisimulación, son algunas semánticas de procesos ampliamente estudiadas en la literatura. Estas semánticas, no encajan en el contexto de sistemas interactivos.<br/>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. |
| 650 #4 - Entradas Secundarias - Términos temáticos | |
| Tópico o nombre geográfico | Semantics of programming languages |
| 650 #4 - Entradas Secundarias - Términos temáticos | |
| Tópico o nombre geográfico | Formal languages |
| 650 #4 - Entradas Secundarias - Términos temáticos | |
| Tópico o nombre geográfico | Semántica de lenguaje de programación |
| 650 #4 - Entradas Secundarias - Términos temáticos | |
| Tópico o nombre geográfico | Lenguajes formales |
| 653 ## - Término Indizado - No Controlado | |
| Término | Semánticas de procesos |
| 653 ## - Término Indizado - No Controlado | |
| Término | Procesos interactivos |
| 653 ## - Término Indizado - No Controlado | |
| Término | Comportamientos observables |
| 653 ## - Término Indizado - No Controlado | |
| Término | Simulación |
| 653 ## - Término Indizado - No Controlado | |
| Término | Bisimulación |
| 653 ## - Término Indizado - No Controlado | |
| Término | Trazas |
| 700 1# - Entradas Secundarias - Nombre Personal | |
| Nombre Personal | D'Argenio, Pedro Ruben, |
| Fechas asociadas con el nombre | 1968- |
| Término de relación | dir. |
| 9 (RLIN) | 3837 |
| 700 1# - Entradas Secundarias - Nombre Personal | |
| 9 (RLIN) | 9826 |
| Nombre Personal | Lee, Matías David, |
| Fechas asociadas con el nombre | 1982- , |
| Término de relación | dir. |
| 942 ## - Elementos Agregados (KOHA) | |
| Koha item type | Trabajo Especial de Grado |
| Source of classification or shelving scheme | |
| 945 ## - Inforación de Procesamiento Local (OCLC) | |
| Código del digitador | MBO |
| AAAA-MM-DD - Fecha de ingreso o modificacion | 2013-10-31 |
| -- | 2013-11-14 |
| -- | 2020-08-31 |
| Estado de retiro | Existencia (perdido o no perdido) | Fuente de clasificación o esquema de estanterías | Estado general | No para préstamo | Forma de Adquisición | Ubicación (sede de origen) | Sububicacón o colección (sede poseedora del item) | Estantería donde se ubica | Fecha de adquisición o compra | Fuente de adquisición | Signatura topográfica | Número de inventario (código de barras) | Última vez visto (Koha) | Número de copia | Fecha del precio de reemplazo | Tipo de ítem (Koha) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| DONACIÓN | FaMAF | FaMAF | Secc. Tesis y Trabajos especiales | 31/10/2013 | Donación del autor | Trabajo Especial Computación CAJA 15 - 22005 | 22005 | 21/07/2017 | 1 | 31/08/2020 | Trabajo Especial de Grado |