TY - BOOK AU - Lapitan, Mario L. TI - Deriving a distributed deadlock detection algorithm from knowledge transitions AV - T-01448 PY - 1999/// CY - Manila PB - De La Salle University KW - Computer Science N1 - Computer Science ER -