Finite-State Self-Stabilizing Protocols in Message-Passing Systems.
Rodney R. HowellMikhail NesterenkoMasaaki MizunoPublished in: J. Parallel Distributed Comput. (2002)
Keyphrases
- message passing
- finite state
- distributed systems
- distributed shared memory
- markov chain
- belief propagation
- markov decision processes
- optimal policy
- approximate inference
- model checking
- probabilistic inference
- markov random field
- shared memory
- inference in graphical models
- machine learning
- sum product
- junction tree
- state space
- similarity measure