A Transformation to Provide Deadlock-Free Programs.

Published in: International Conference on Computational Science (2003)