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

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