Unique fixpoint induction for message-passing process calculi.

Matthew Hennessy Huimin Lin Julian Rathke

Published in: Sci. Comput. Program. (2001)

Keyphrases

message passing
fixpoint
belief propagation
logic programs
distributed systems
deductive databases
factor graphs
shared memory
graphical models
integrity constraints
probabilistic inference
belief revision
machine learning
logic programming
markov random field
probability distribution
bayesian networks