Concurrent Constraints in the Fusion Calculus.

Björn Victor Joachim Parrow

Published in: ICALP (1998)

Keyphrases

mutual exclusion
databases
constrained optimization
data sets
database
genetic algorithm
provably correct
computer algebra