Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus. - Pablo D. Robles-Granda; Elham Sahebkar Khorasani; Shahram Rahimi 001; Norman Carver (Int. J. Intell. Inf. Database Syst., 2012)