Papers tagged deadlock detection