Flores Montoya , Antonio E. (2012) Analysis of May-Happen-in-Parallel in Concurrent Objects. [Trabajo fin de Máster]