@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 2025/07/24}}}