The following publications are possibly variants of this publication:
- Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systemsJ. Park, S. P. Reveliotis. trob, 16(2):190-195, 2000. [doi]
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation SystemsSpyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi 0001. tac, 52(12):2345-2350, 2007. [doi]
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation SystemsSpyros A. Reveliotis, Elzbieta Roszkowska, Jin-Young Choi. icra 2007: 991-996 [doi]
- Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"Jonghun Park, Spyros A. Reveliotis, Mark A. Lawley, Placid M. Ferreira. tac, 46(4), 2001. [doi]
- Polynomial-complexity deadlock avoidance policies for sequential resource allocation systemsSpiridon Reveliotis, Mark Lawley, Placid M. Ferreira. tac, 42(10):1344-1357, 1997. [doi]
- Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation SystemsMichael Ibrahim, Spyros A. Reveliotis. cdc 2018: 3968-3974 [doi]
- Deadlock avoidance policies for flexible manufacturing systems: the conjunctive caseSpyros A. Reveliotis, Placid M. Ferreira. icra 1996: 533-538 [doi]
- A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routingsJonghun Park, Spyros A. Reveliotis. cdc 2000: 2663-2669 [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]
- Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and ApproximationMichael Ibrahim 0001, Spyros A. Reveliotis, Ahmed Nazeem. tac, 66(9):3906-3921, 2021. [doi]
- Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized AlgorithmsRoberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis. tac, 58(11):2772-2787, 2013. [doi]