Deductive Verification of MPI Protocols

TitleDeductive Verification of MPI Protocols
Publication TypeJournal Article
Year of Publication2017
AuthorsVasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng
JournalBehavioural Types: from Theory to Tools
Pagination353