Message analysis for concurrent programs using message passing.

Richard Carlsson Konstantinos Sagonas Jesper Wilhelmsson

Published in: ACM Trans. Program. Lang. Syst. (2006)

Keyphrases

message passing
belief propagation
probabilistic inference
distributed systems
shared memory
artificial intelligence
object recognition
factor graphs
concurrent programs