Sign in

Order types: static reasoning about message races in asynchronous message passing concurrency.

Mehdi BagherzadehHridesh Rajan
Published in: AGERE!@SPLASH (2017)
Keyphrases
  • message passing
  • belief propagation
  • markov random field
  • inference in graphical models
  • three dimensional
  • graphical models
  • approximate inference
  • factor graphs
  • sum product algorithm