Login / Signup
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.
Ahmed K. Elmagarmid
Neelam Soundararajan
Ming T. Liu
Published in:
IEEE Trans. Software Eng. (1988)
Keyphrases
</>
computational complexity
objective function
provably correct
optimal solution
nearest neighbor
theoretical analysis
tree structure