Pushing work on deadlock resolution