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

by S Pervez, G Gopalakrishnan, Kirby RM, R Thakur, W Gropp
Venue:Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM/MPI