May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization | Publicación