A noninterleaving semantics for communicating sequential processes: a fixed-point approach.

Dang Van Hung Elöd Knuth

Published in: Acta Cybern. (1988)

Keyphrases

fixed point
sufficient conditions
dynamical systems
floating point
communication channels
belief propagation
fixed point theorem
constraint databases
knowledge base
logic programming
free energy
closure operator
probability distribution
multi view
variational inequalities
policy iteration