Protocol-based verification of message-passing parallel programs.

Hugo A. Lpez, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Csar Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Browse the full OOPSLA paper archive.