@inproceedings{inproceedings, title  = {{Choreography-Based Analysis of Distributed Message Passing Programs}},

 publisher = {{IEEE}},

 url = {{}},

 year = {{2016}},

 month = {{3}},

 author = {{Taylor R and Tuosto E and Walkinshaw N and Derrick J}},

 doi = {{10.1109/pdp.2016.72}},

 journal = {{2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)}},

 note = {{Accessed on 2024/12/26}}}