Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.
Manfred BroyPublished in: Concurrency, Compositionality, and Correctness (2010)
Keyphrases
- message passing
- equivalence relation
- belief propagation
- distributed systems
- probabilistic inference
- shared memory
- factor graphs
- distributed shared memory
- sum product algorithm
- approximate inference
- graphical models
- inference in graphical models
- binary relations
- markov random field
- ldpc codes
- post processing
- graph cuts
- image segmentation
- image processing