The following publications are possibly variants of this publication:
- A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation SystemsAhmed Nazeem, Spiridon Reveliotis. tase, 8(4):766-779, 2011. [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]
- 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]
- Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation SystemsSpyros A. Reveliotis. tsmc, 37(3):319-328, 2007. [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 resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. wodes 2012: 286-293 [doi]
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. deds, 25(1-2):31-63, 2015. [doi]