Lapitan, Mario L. Deriving a distributed deadlock detection algorithm from knowledge transitions Mario L. Lapitan - Manila De La Salle University 1999 - viii, 92p. Computer Science Subjects--Uniform Titles: Computer Science LC Class. No.: T-01448