Verification of MPI programs using session types

TitleVerification of MPI programs using session types
Publication TypeBook Chapter
Year of Publication2012
AuthorsHonda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida
Book TitleRecent Advances in the Message Passing Interface
Pagination291–293
PublisherSpringer Berlin Heidelberg