Choreography-Based Analysis of Distributed Message Passing Programs.

Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick

Browse the full PDP paper archive.