"An effective dynamic analysis for detecting generalized deadlocks."

Pallavi Joshi et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics