BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Protocol-based verification of message-passing parallel programs

Participants in the publication
Hugo A. López (Author)
Eduardo R. B. Marques (Author)
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Nicholas Ng (Author)
César Santos (Author)
Vasco Thudichum Vasconcelos (Author)
Nobuko Yoshida (Author)

Date of Publication
2015

Event
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)

Publication Identifiers
ISBN - ISSN: 03621340eISSN: 15581160

Address
Pittsburgh, PA

Starting page
280
Last page
298

Document Identifiers
DOI - https://doi.org/10.1145/2814270.2814302


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. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 280-298

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 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Pittsburgh, PA, 2015, pp. 280-298, doi: 10.1145/2814270.2814302

BIBTEX
@InProceedings{34386, 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 = {ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)}, year = 2015, pages = {280-298}, address = {Pittsburgh, PA}, publisher = {} }