Vicent Cholvi;Pablo Boronat
-;-
A transformation to provide deadlock-free programs
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII