Ahmed Nazeem, Spyros A. Reveliotis. Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. In IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. pages 405-412, IEEE, 2011. [doi]
Abstract is missing.