TY  - THES
AU  - Gordillo Alguacil, Pablo
A3  - Albert Albiol, Elvira
A3  - Genaim, Samir
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/11222
AB  - Hoy en día la concurrencia y la distribución se han convertido en una parte fundamental del proceso de desarrollo de software. Indiscutiblemente, Internet y el uso cada vez más extendido de los procesadores multicore ha influido en el tipo de...
AB  - Nowadays concurrency and distribution have become a fundamental part in the softwaredevelopment process. The Internet and the more extended use of multicore processorshave in uenced the type of the applications which are being developed. This has lead...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Sistemas distributivos
KW  - sistemas concurrentes
KW  - criptomoneda
KW  - bitcoin
KW  - Distributed operating systems (Computers)
KW  - concurrent systems (Computers)
KW  - cryptocurrencies
TI  - Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum
T2  - Static analysis of concurrrent and distributed systems: concurrent objects and Ethereum Bytecode
M3  - doctoral thesis
ER  -