May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects | Publicación