Keyphrases
- formal semantics
- message passing
- concurrent programs
- belief propagation
- distributed systems
- concurrent programming
- process algebra
- shared memory
- concurrent processes
- formal language
- modeling language
- sum product algorithm
- theorem prover
- first order logic
- markov random field
- web applications
- concurrent systems
- graphical models
- inference in graphical models
- sum product
- multi view
- formal specification
- probabilistic model
- expert systems