TY  - THES
AU  - Gordillo Alguacil, Pablo
A3  - Albert Albiol, Elvira María
A3  - Genaim, Samir
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/37040
AB  - This work presents a may-happen-in-parallel analysis with inter-procedural synchronization for languages based in concurrent objects. In this model of concurrency (based on actors) the objects are the concurrency units. The idea behind it is that each...
AB  - Este trabajo presenta un análisis may-happen-in-parallel (puede-ocurrir-enparalelo) con sincronización interprocedimental para lenguajes basados en objetos concurrentes. En este modelo de concurrencia (basado en actores) los objetos son las unidades...
LA  - eng
KW  - Must-have-finished
KW  - May-happen-in-parallel
KW  - Static analysis
KW  - ABS Language
KW  - Boolean formulas
KW  - Concurrency
KW  - Análisis estático
KW  - Lenguaje ABS
KW  - Fórmulas booleanas
KW  - Concurrencia
TI  - Static analysis of concurrent objects: May-Happen-in-Parallel fo asynchronous programs with Inter-procedural synchronization
M3  - bachelor thesis
ER  -