Export
APA
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida, (2015). Protocol-based verification of message-passing parallel programs. Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, -
IEEE
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 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pittsburgh PA USA, 2015, pp. -,
doi: 10.1145/2814270.2814302
BIBTEX
@InProceedings{50994,
author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida},
title = {Protocol-based verification of message-passing parallel programs},
booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
year = 2015,
pages = {-},
address = {Pittsburgh PA USA},
publisher = {ACM}
}