TY  - THES
AU  - Flores Montoya, Antonio E.
A3  - Albert Albiol, Elvira
A3  - Genaim, Samir
PY  - 2012
UR  - https://hdl.handle.net/20.500.14352/46482
AB  - Esta tesis presenta un análisis may-happen-in-parallel (puede-ocurrir-en-paralelo) para lenguajes orientados a objetos y basados en objetos concurrentes. En éste modelo de concurrencia, los objetos son la unidad de concurrencia tal que, cuando un...
LA  - eng
KW  - May-Happen-in-Parallel
KW  - Análisis Estático
KW  - Sistemas Asíncronos Distribuidos
KW  - Objetos Concurrentes
KW  - Actors
KW  - Lenguaje ABS
KW  - Static analysis
KW  - Distributed Asynchronous Systems
KW  - Concurrent Objects
KW  - ABS Language
TI  - Analysis of May-Happen-in-Parallel in Concurrent Objects
M3  - master thesis
ER  -