J. Carter, William B. Gardner. A Formal CSP Framework for Message-Passing HPC Programming. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada. pages 1466-1470, IEEE, 2006. [doi]
Abstract is missing.