Reduced Execution Semantics of MPI: From Theory to Practice.

Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby

Browse the full FM paper archive.