Proving correctness of timed concurrent constraint programs.

Frank S. de Boer Maurizio Gabbrielli Maria Chiara Meo

Published in: ACM Trans. Comput. Log. (2004)

Keyphrases

concurrent programs
provably correct
petri net
concurrent execution
concurrent programming
linear constraints
programming environment
genetic algorithm
e learning
reinforcement learning
expert systems
search space
answer sets
fixpoint
consistency constraints