Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida. Protocol-based verification of message-passing parallel programs. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pages 280-298, ACM, 2015. [doi]
Abstract is missing.