TY  - BOOK
AU  - ANDRE ARNOLD

AU  - 
AU  - JOFFROY BEAUQUIER
AU  - BEATRICE BERARD
AU  - BRIGITE ROZOY
TI  - PROGRAMAS PARALELOS: MODELOS Y VALIDACIÓN
U1  - 004..ARNO.00 
CY  - MADRID
KW  - PROCESAMIENTO DE LA INFORMACIÓN
N1  - ATOMICIDAD
. -- MODELOS BASADOS EN ESTADO
. -- MODELOS BASADOS EN UN ORDEN PARCIAL
. -- VERIFICACIÓN DE PROPIEDADES
ER  -