Login / Signup

Proof Systems for Message-Passing Process Calculi.

Matthew Hennessy
Published in: IFM (1999)
Keyphrases
  • message passing
  • distributed systems
  • distributed shared memory
  • belief propagation
  • markov random field
  • higher order
  • shared memory
  • loopy belief propagation
  • sum product