Tolety Siva Perraju;Bandreddi E. Prasad
-;-
Deadlock free specification based on local process properties
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII