TY  - THES
AU  - Garrido Rojo, Marco Antonio
A3  - Gómez-Zamalloa Gil, Miguel
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/20801
AB  - El avance de los ordenadores en las últimas décadas ha brindado la oportunidad a los desarrolladores de programas de aprovechar las ventajas de los procesadores modernos que permiten la ejecución simultánea de varios hilos de ejecución al mismo...
AB  - The advance in computers during the last decades has brought the opportunity to take advantage of the new processors which are able to execute several threads at the same time. That is the reason why concurrent programs are getting more and more...
LA  - spa
KW  - ABS
KW  - SYCO
KW  - Programas concurrentes
KW  - Semánticas
KW  - Lenguaje de programación
KW  - Interleavings
KW  - Testing de programas
KW  - Modelo de concurrencia basado en actores
KW  - CUP
KW  - JLEX
KW  - Concurrent programming
KW  - Semantics
KW  - Programming languages
KW  - Software testing
KW  - Actor model concurrency
TI  - Estudio y desarrollo de técnicas para el testing de programas concurrentes
M3  - bachelor thesis
ER  -