Deductive Verification of MPI Protocols
Title | Deductive Verification of MPI Protocols |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng |
Journal | Behavioural Types: from Theory to Tools |
Pagination | 353 |