Formal verification of programs that use MPI one-sided communication (2006)

by Salman Pervez, Ganesh Gopalakrishnan, Robert M Kirby, Rajeev Thakur, William Gropp
Venue:In Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM/MPI), LNCS 4192