May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.

Antonio Flores-Montoya, Elvira Albert, Samir Genaim

Browse the full FORTE paper archive.