Deadlock Detection (Interactive)