TY  - THES
AU  - Merayo Corcoba, Alicia
A3  - Albert Albiol, Elvira María
A3  - Genaim, Samir
PY  - 2017
UR  - https://hdl.handle.net/20.500.14352/20488
AB  - Actualmente, la ejecución concurrente es una de las bases de la informática. Este tipo de ejecución ha llevado a tener que resolver problemas complejos como la sincronización de las variables compartidas entre programas, para evitar las carreras de...
AB  - Nowadays, concurrent computing is one of the bases of computer science. Despite of its important benefits, this type of execution forced us to seek solutions for related complex problems, such as synchronization of accesses to shared resources in...
LA  - spa
KW  - ABS
KW  - Lock
KW  - Unlock
KW  - Deadlock
KW  - Bloqueo de procesos
KW  - Equivalencia semántica
KW  - Concurrencia
KW  - Paralelismo
KW  - Cerrojos
KW  - Modelos de concurrencia basados en actores
KW  - Process blocking
KW  - Semantic equivalence
KW  - Concurrency
KW  - Parallelism
KW  - Locks
KW  - Actor-based concurrency model
TI  - Detección estática de propiedades de ejecución de programas concurrentes con locks utilizando SACO
M3  - bachelor thesis
ER  -