Distributed deadlock detection

Time, clocks, and the ordering of events in a distributed system

Leslie Lamport · Communications of the ACM · 1978 · 8.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

Computing, Computer Science, Computer Architecture +16

Termination detection for diffusing computations

Edsger W. Dijkstra, Carel S. Schölten · Information Processing Letters · 1980 · 687 citations

Computing, Computer Engineering, Computer Science +5

Distributed deadlock detection algorithm

Ron Obermarck · ACM Transactions on Database Systems · 1982 · 188 citations · Full text

Computing, Computer Engineering, Computer Science +16