1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
2.
|
Diseño e implementación de un generador de evaluadores concurrentes para gramáticas de atributos NC(1) Arroyo, Marcelo - Aguirre, Jorge - Florio, Nicolas
|