Satisfiability of Dataflow Models of Distributed Programs.

Victor V. Toporkov

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

Keyphrases

statistical models
distributed systems
cooperative
peer to peer
np complete
lightweight
distributed environment
parallel execution
multi agent
computational complexity
complex systems
propositional logic
parallel computing
distributed data
computer programs
control flow