Cite
HARVARD Citation
Robles-Granda, P. et al. (2012). Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus. International journal of intelligent information and database systems. pp. 154-179. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Robles-Granda, P. et al. (2012). Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus. International journal of intelligent information and database systems. pp. 154-179. [Online].