Formal specification of the MPI-2.0 standard in TLA+.

Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby

Browse the full PPoPP paper archive.