Jeeg: temporal constraints for the synchronization of concurrent objects.

Giuseppe Milicia Vladimiro Sassone

Published in: Concurr. Pract. Exp. (2005)

Keyphrases

temporal constraints
temporal reasoning
simple temporal
constraint propagation
temporal information
moving objects
resource constraints
workflow systems
constraint reasoning
concurrent programs
consistency checking
temporal events
workflow processes
spatio temporal
interval algebra
temporal constraint networks