Finite-state self-stabilizing protocols in message-passing systems.

Rodney R. Howell Mikhail Nesterenko Masaaki Mizuno

Published in: WSS (1999)

Keyphrases

message passing
finite state
distributed systems
markov chain
distributed shared memory
belief propagation
model checking
markov decision processes
factor graphs
probabilistic inference
approximate inference
dynamic programming
markov random field
graphical models
sum product algorithm