Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus
Granda, Pablo D. Robles, Khorasani, Elham S., Rahimi, Shahram, Carver, NormanVolume:
6
Year:
2012
Language:
english
Journal:
International Journal of Intelligent Information and Database Systems
DOI:
10.1504/ijiids.2012.045847
File:
PDF, 342 KB
english, 2012