A polynomial-time test for the deadlock-freedom of computer systems

• Authors:

• Tiko Kameda

• Affiliations:

• -

• Venue:
• Proceedings of the 3rd GI-Conference on Theoretical Computer Science
• Year:
• 1977