Text this: Detection and resolution of deadlocks in concurrent processes using process algebra

   _____    ______   __   __   __   __    ____    
  / ___//  /_   _//  \ \\/ //  \ \\/ //  |  _ \\  
  \___ \\   -| ||-    \   //    \ ` //   | |_| || 
  /    //   _| ||_    / . \\     | ||    | .  //  
 /____//   /_____//  /_//\_\\    |_||    |_|\_\\  
`-----`    `-----`   `-`  --`    `-`'    `-` --`