Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby. An Approach to Formalization and Analysis of Message Passing Libraries. In Stefan Leue, Pedro Merino, editors, Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Volume 4916 of Lecture Notes in Computer Science, pages 164-181, Springer, 2007. [doi]