- -

Implementación de un intérprete para un modelo concurrente para el análisis de sistemas síncronos

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Implementación de un intérprete para un modelo concurrente para el análisis de sistemas síncronos

Show full item record

Carrascosa Beltrán, Á. (2022). Implementación de un intérprete para un modelo concurrente para el análisis de sistemas síncronos. Universitat Politècnica de València. http://hdl.handle.net/10251/188084

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/188084

Files in this item

Item Metadata

Title: Implementación de un intérprete para un modelo concurrente para el análisis de sistemas síncronos
Secondary Title: Implementation of an interpreter for a concurrent model for the analysis of synchronous systems
Implementació d'un intèrpret per a un model concurrent per a l'anàlisi de sistemes síncrons
Author: Carrascosa Beltrán, Ángel
Director(s): Villanueva García, Alicia
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Read date / Event date:
2022-09-21
Issued date:
Abstract:
[ES] Actualmente, el estudio del comportamiento concurrente de los sistemas es fundamental para poder disponer de herramientas que faciliten el análisis y verificaciones de programas con este tipo de comportamiento. Por ...[+]


[CA] Actualment, l'estudi del comportament concurrent dels sistemes és fonamental per a poder disposar d'eines que faciliten l'anàlisi i verificacions de programes amb aquesta mena de comportament. Per això, l'existència ...[+]


[EN] Currently, the study of the behavior of concurrent systems is essential to be able to have tools that facilitate the analysis and verification of programs with this kind of behavior. For this reason, the existence ...[+]
Subjects: Concurrencia , Análisis , Semántica operacional , Intérpretes , Compiladores , Concurrency , Analysis , Operational semantics , Interpreter , Compilers
Copyrigths: Reserva de todos los derechos
Publisher:
Universitat Politècnica de València
degree: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Type: Proyecto/Trabajo fin de carrera/grado

recommendations

 

This item appears in the following Collection(s)

Show full item record