Login / Signup
Choreography-Based Analysis of Distributed Message Passing Programs.
Ramsay Taylor
Emilio Tuosto
Neil Walkinshaw
John Derrick
Published in:
PDP (2016)
Keyphrases
</>
message passing
distributed systems
belief propagation
computer vision
three dimensional