Login / Signup

Proof Systems for Message-Passing Process Algebras.

Matthew HennessyHuimin 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