Modelling, Specifying, and Verifying Message Passing Systems.

Benedikt Bollig Martin Leucker

Published in: TIME (2001)

Keyphrases

message passing
distributed systems
distributed shared memory
belief propagation
approximate inference
shared memory
image features
sum product algorithm
probabilistic inference
message passing interface
inference in graphical models