Analysis of May-Happen-in-Parallel in Concurrent Objects | Publicación