The parallel complexity of deadlock detection | lit.salon