Login / Signup

A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.

Ahmed K. ElmagarmidNeelam SoundararajanMing T. Liu
Published in: IEEE Trans. Software Eng. (1988)
Keyphrases
  • computational complexity
  • objective function
  • provably correct
  • optimal solution
  • nearest neighbor
  • theoretical analysis
  • tree structure