@inproceedings{fmics07,
author = {Robert Palmer and Michael Delisi and Ganesh Gopalakrishnan and Robert M. Kirby},
title = {An Approach to Formalization and Analysis of Message Passing Libraries},
booktitle = {Formal Methods for Industry Critical Systems (FMICS 2007)},
note = {LNCS 4916, Best Paper Award},
editor = {S. Leue and P. Merino},
Pages = {164-181},
year = 2008}