Proving correctness of timed concurrent constraint programs.

Frank S. de Boer Maurizio Gabbrielli Maria Chiara Meo

Published in: APPIA-GULP-PRODE (2001)

Keyphrases

concurrent programs
provably correct
concurrent execution
concurrent programming
petri net
finite state machines
timed automata
computer programs
linear constraints
automatic programming
constraint solving
soft constraints
genetic algorithm
constraint networks
information technology
database systems
e learning