Login / Signup
Proof Systems for Message-Passing Process Algebras.
Matthew Hennessy
Huimin Lin
Published in:
Formal Aspects Comput. (1996)
Keyphrases
</>
message passing
distributed systems
belief propagation
distributed shared memory
markov random field
probabilistic inference
sum product algorithm