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

by S Pervez, G Gopalakrishnan
Venue:in Proceedings of the 13th European PVM/MPI Users’ Group Meeting, LNCS