Ahmed Nazeem. Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2012. [doi]
Abstract is missing.