@InProceedings{oopsla15, author = {H. A. L\'{o}pez and E. R. B. Marques and F. Martins and N. Ng and C. Santos and V. T. Vasconcelos and N. Yoshida}, title={Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc. ACM SIGPLAN International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA)}, pages={280--298}, series={OOPSLA'15}, publisher={ACM}, doi={10.1145/2814270.2814302}, year = {2015} }