May-Happen-in-Parallel Analysis with Condition Synchronization | Publicación