Deductive Verification of MPI Protocols

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