A Timed Concurrent Constraint Language.

Frank S. de Boer Maurizio Gabbrielli Maria Chiara Meo

Published in: Inf. Comput. (2000)

Keyphrases

constraint language
integrity constraints
constraint networks
object oriented
modeling language
petri net
uml diagrams
metamodel
process model
timed automata
discrete event
software engineering
temporal reasoning
maximal tractable
artificial intelligence
query language