Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune. Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). In IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, 22-25 August, 2011. pages 37-41, IEEE, 2009. [doi]
Abstract is missing.