Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/37150
Title: Choreography-Based Analysis of Distributed Message Passing Programs
Authors: Taylor, R.
Tuosto, E.
Walkinshaw, Neil
Derrick, J.
First Published: 4-Apr-2016
Presented at: 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 17-19th February 2016, Heraclion, Greece
Citation: Parallel, Distributed, and Network-Based Processing (PDP), 2016 24th Euromicro International Conference on
Abstract: Abstract: We report on the analysis of gen_server, a popular Erlang library to build client-server applications. Our analysis uses a tool based on choreographic models. We discuss how, once the library has been modelled in terms of communicating finite state machines, an automated analysis can be used to detect potential communication errors. The results of our analysis suggest how to properly use gen_server in order to guarantee the absence of communication errors.
DOI Link: 10.1109/PDP.2016.72
ISBN: 978-1-4673-8775-0
eISSN: 2377-5750
Links: http://ieeexplore.ieee.org/abstract/document/7445383/
http://hdl.handle.net/2381/37150
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
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.