Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory

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]

Authors

Ahmed Nazeem

This author has not been identified. Look up 'Ahmed Nazeem' in Google

Spyros A. Reveliotis

This author has not been identified. Look up 'Spyros A. Reveliotis' in Google