Protocol-based verification of message-passing parallel programs

File Description SizeFormat 
oopsla15.pdfAccepted version645.14 kBAdobe PDFView/Open
Title: Protocol-based verification of message-passing parallel programs
Authors: Lopez, HA
Marques, RBE
Martins, F
Ng, CWN
Santos, C
Vasconcelos, VT
Yoshida, N
Item Type: Conference Paper
Issue Date: 25-Oct-2015
Date of Acceptance: 3-Aug-2015
URI: http://hdl.handle.net/10044/1/25722
DOI: https://dx.doi.org/10.1145/2814270.2814302
Publisher: ACM
Copyright Statement: © ACM, 2015. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, {VOL#, ISS#, (DATE)} https://dx.doi.org/10.1145/2814270.2814302
Conference Name: 2015 ACM International Conference on Object Oriented Programming, Systems, Languages & Applications
Publication Status: Accepted
Start Date: 2015-10-25
Finish Date: 2015-10-30
Conference Place: Pittsburgh, Pennsylvania
Appears in Collections:Faculty of Engineering
Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons