Deadlock Analysis of Concurrent Objects: Theory and Practice.

Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong

Browse the full IFM paper archive.