CPA-CSA: Development of Parallel Reduced Run-Time Complexity Hardware-Oriented Deadlock Algorithms with Proofs and Extensions to Other AreasLee, JaehwanNational Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 0811448), $120,875USD, 09/01/2008 -- 08/31/2011