The pursuit of deadlock freedom

• Authors:

• A. W. Roscoe;Naiem Dathi

• Affiliations:

• Oxford Univ. Computing Laboratory, Oxford, UK;Oxford Univ. Computing Laboratory, Oxford, UK

• Venue:
• Information and Computation
• Year:
• 1987