Dynamic deadlock resolution protocols (Extended Abstract)