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

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