A polynomial-time test for the deadlock-freedom of computer systems.
Tiko KamedaPublished in: Theoretical Computer Science (1977)
Keyphrases
- computer systems
- operating system
- hardware and software
- data processing
- computer architecture
- computing systems
- information systems
- communication systems
- special case
- computer networks
- information processing systems
- human beings
- computer technology
- high end
- computer hardware
- computational complexity
- computer security
- approximation algorithms
- test cases
- knowledge based systems
- databases