TY  - THES
AU  - Sánchez, Alejandro
A3  - Palomino Tarjuelo, Miguel
A3  - Sánchez, César
PY  - 2011
UR  - https://hdl.handle.net/20.500.14352/46307
AB  - Los tipos de datos concurrentes básicamente son implementaciones concurrentes de abstracciones de datos clásicas, diseñados específicamente para aprovechar el gran paralelismo disponible en arquitecturas multiprocesador y multinúcleo. La corrección de...
LA  - eng
KW  - Concurrencia
KW  - Verificación Formal
KW  - Estructuras de Datos
KW  - Procedimientos de Decisión
KW  - Diagramas de Verificación
KW  - Concurrency
KW  - Formal Verification
KW  - Data Structures
KW  - Decision Procedures
KW  - Verification Diagrams
TI  - Decision procedures for the temporal verification of concurrent data structures
M3  - master thesis
ER  -