TY  - SER
AU  - Ibaraki, Tohihide
AU  - Kameda, Tsunehiko
TI  - Deadlock-Free Systems  for  a Bounded Number of Processes
KW  - Algorithm Complexity
KW  - Deadlock
KW  - Np-Complete
ER  -