Ibaraki, Tohihide Kameda, Tsunehiko <br/><br/>
Deadlock-Free Systems  for  a Bounded Number of Processes 

 - 188-193 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algorithm Complexity<br/>Deadlock<br/>Np-Complete