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
Santos, C
Vasconcelos, VT
Yoshida, N
Item Type: Conference Paper
Issue Date: 25-Oct-2015
Date of Acceptance: 3-Aug-2015
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)}
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

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

Creative Commons