Richard Arthur Adams

1951

• Distributed deadlock detection for communicating processes