Validation of protocols with temporal constraints.
Leo CacciariOmar RafiqPublished in: Comput. Commun. (1996)
Keyphrases
- temporal constraints
- temporal reasoning
- concurrency control protocols
- constraint propagation
- simple temporal
- temporal information
- temporal constraint networks
- resource constraints
- constraint reasoning
- workflow systems
- consistency checking
- temporal aspects
- clinical guidelines
- database
- constraint satisfaction problems
- incremental algorithms