GIMENO CARLOS MADRILES

Enabling speculative state information in a cache coherency protocol