Proof Systems for Message-Passing Process Algebras.

Matthew Hennessy Huimin Lin

Published in: CONCUR (1993)

Keyphrases

message passing
distributed systems
distributed shared memory
belief propagation
markov random field
shared memory
image matching
probabilistic inference
image sequences
bayesian networks
graph cuts
ldpc codes