Automatic verification of timed concurrent constraint programs.

Moreno Falaschi Alicia Villanueva

Published in: Theory Pract. Log. Program. (2006)

Keyphrases

petri net
computer programs
concurrent programs
finite state machines
concurrent programming
machine learning
global constraints
timed automata
fixpoint
constraint solving
neural network
social networks