%0 Thesis %D 2003 %T Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems %A F. Tricas %8 5 %9 phd