The following publications are possibly variants of this publication:
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. wodes 2012: 286-293 [doi]
- A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation SystemsZhennan Fei, Spyros A. Reveliotis, Knut Åkesson. wodes 2014: 362-369 [doi]
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear CaseAhmed Nazeem, Spiridon Reveliotis. tac, 57(7):1670-1684, 2012. [doi]
- Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theoryAhmed Nazeem. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2012. [doi]
- A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation SystemsZhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson. tase, 12(3):990-1006, 2015. [doi]
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear CaseAhmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune. tac, 56(8):1818-1833, 2011. [doi]
- Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiersRoberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis. cdc 2012: 7244-7251 [doi]
- Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theoryAhmed Nazeem, Spyros A. Reveliotis. case 2011: 405-412 [doi]
- On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic SystemsSpyros A. Reveliotis, Elzbieta Roszkowska. tac, 55(7):1646-1651, 2010. [doi]
- Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation SystemsMichael Ibrahim, Spyros A. Reveliotis. cdc 2018: 3968-3974 [doi]