Robert Palmer Michael Delisi Ganesh Gopalakrishnan Robert M. Kirby An Approach to Formalization and Analysis of Message Passing Libraries. 164-181 2007 FMICS http://dx.doi.org/10.1007/978-3-540-79707-4_13 conf/fmics/2007 db/conf/fmics/fmics2007.html#PalmerDGK07