Type-based verification of message-passing parallel programs

TitleType-based verification of message-passing parallel programs
Publication TypeJournal Article
Year of Publication2014
AuthorsVasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida