發送短信 : Detection and resolution of deadlocks in concurrent processes using process algebra

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