أرسل هذا في رسالة قصيرة: Detection and resolution of deadlocks in concurrent processes using process algebra

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