Simulation analysis of multithreaded programs under deadlock-avoidance control.

Hongwei Liao, Hao Zhou, Stphane Lafortune

Browse the full WSC paper archive.