Paper Info
Title
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming
Abstract
Generalized algebraic deadlock avoidance policies (DAPs) for sequential resource allocation systems (RASs) have recently been proposed as an interesting extension of the class of algebraic DAPs, that maintains the analytical representation and computational simplicity of the latter, while it guarantees completeness with respect to the maximally permissive DAP. The authors' original work that intro...
Year
DOI
Venue
2010
10.1109/TASE.2009.2022985
IEEE Transactions on Automation Science and Engineering
Keywords
Field
DocType
System recovery,Mathematical programming,Digital audio players,Resource management,Design methodology,State-space methods,Computational complexity,Software testing,Linear programming,Polynomials
Mathematical optimization,Petri net,Computer science,Deadlock,Correctness,Theoretical computer science,Finite-state machine,Integer programming,Linear programming,State space,Computational complexity theory
Journal
Volume
Issue
ISSN
7
2
1545-5955
Citations 
PageRank 
References 
2
0.36
16
Authors
3
Name
Order
Citations
PageRank
Spyros A. Reveliotis136429.24
Elzbieta Roszkowska2446.41
Jin-young Choi360650.44