TY  - CONF

T1  - Choreography-Based Analysis of Distributed Message Passing Programs

JO  - 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)

UR  - https://doi.org/10.1109/pdp.2016.72

PY  - 2016/03/31

AU  - Taylor R

AU  - Tuosto E

AU  - Walkinshaw N

AU  - Derrick J

ED  - 

DO  - DOI: 10.1109/pdp.2016.72

PB  - IEEE

SP  - 512

EP  - 519

Y2  - 2025/11/27

ER  -