Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation.
Martin VassorNobuko YoshidaPublished in: CoRR (2024)
Keyphrases
- message passing
- multi party
- belief propagation
- privacy preserving
- probabilistic inference
- shared memory
- distributed systems
- markov random field
- factor graphs
- approximate inference
- distributed shared memory
- inference in graphical models
- sum product
- sum product algorithm
- junction tree
- description language
- protocol specification
- mental states
- computer vision