CSP theorems for communicating B machines.

Steve A. Schneider Helen Treharne

Published in: Formal Aspects Comput. (2005)

Keyphrases

constraint satisfaction problems
constraint propagation
communication channels
constraint satisfaction
decomposition methods
neural network
information retrieval
constraint programming
parallel machines
machine intelligence
digital topology
solving constraint satisfaction problems