Resolution techniques and complexity results with deadlocks: a classifying and annotated bibliography

• Authors:

• Dieter Zöbel;Christoph Koch

• Affiliations:

• Institut für Informatik, Erziehungswissenschaftliche Hochschule Rheinland-Pfalz;Institut für Informatik, Erziehungswissenschaftliche Hochschule Rheinland-Pfalz

• Venue:
• ACM SIGOPS Operating Systems Review
• Year:
• 1988