thr2csp: Toward Transforming Threads into Communicating Sequential Processes.

Robert Charles Lange Spiros Mancoridis

Published in: SCAM (2009)

Keyphrases

communication channels
constraint satisfaction problems
constraint satisfaction
database
np complete
real time
databases
machine learning
information retrieval
artificial intelligence
computational models
neural network
data structure
software engineering
constraint programming
constraint networks