Login / Signup
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