Specification and Verification of Protocols for MPI Programs

TitleSpecification and Verification of Protocols for MPI Programs
Publication TypeMiscellaneous
Year of Publication2013
AuthorsMarques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida