Towards deductive verification of MPI programs against session types

TitleTowards deductive verification of MPI programs against session types
Publication TypeJournal Article
Year of Publication2013
AuthorsMarques, E. R. B., F. Martins, V. T. Vasconcelos, N. Ng, and N. Dias Martins
JournalarXiv preprint arXiv:1312.2705