Login / Signup
Specification composition for the verification of message passing program composition.
John Yiannis Cotronis
Zacharias Tsiatsoulis
Published in:
Microprocess. Microsystems (1998)
Keyphrases
</>
message passing
belief propagation
distributed systems
shared memory
probabilistic inference
formal verification
markov random field
factor graphs
graphical models
post processing
approximate inference
distributed shared memory