Please use this identifier to cite or link to this item:
Title: Choreography-Based Analysis of Distributed Message Passing Programs
Authors: Taylor, R.
Tuosto, E.
Walkinshaw, Neil
Derrick, J.
First Published: Feb-2016
Presented at: 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 17-19th February 2016, Heraclion, Greece
Citation: PDP
Abstract: x
Embargo on file until: 1-Jan-10000
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © 2016, IEEE. The file associated with this record is under a permanent embargo while publication is In Press in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
main.pdfPost-review (final submitted)676.13 kBAdobe PDFView/Open

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