An Approach to Formalization and Analysis of Message Passing Libraries.

Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby

Browse the full FMICS paper archive.