Scott William Hammond

• Distributed deadlock detection in Concurrent C