Title: Distributed deadlock detection for communicating processes
Subjects: Distributed processing, Electronic data processing