Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs.
Ivan LaneseAdrián PalaciosGermán VidalPublished in: Fundam. Informaticae (2021)
Keyphrases
- message passing
- concurrent programs
- process algebra
- concurrent systems
- distributed systems
- belief propagation
- model checking
- probabilistic inference
- formal specification
- asynchronous circuits
- markov random field
- graphical models
- factor graphs
- approximate inference
- logic programming
- distributed shared memory
- inference in graphical models
- concurrent programming
- sum product algorithm
- shared memory
- communication protocols
- formal methods
- web services composition
- junction tree
- probabilistic model
- bayesian networks
- sum product
- artificial intelligence
- expectation maximization
- high level
- three dimensional