TY - SER AU - Wojcik, Barbara E. AU - Wojcik, Zbogniew M. TI - Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection KW - Communication Delay KW - Deadlock KW - Waiting ER -