Synthesizing Processes and Schedulers from Temporal Specifications.
Howard Wong-ToiDavid L. DillPublished in: CAV (1990)
Keyphrases
- spatio temporal
- temporal data
- temporal aspects
- high level
- delay insensitive
- temporal relations
- temporal information
- spatial and temporal
- temporal constraints
- temporal reasoning
- temporal patterns
- grid computing
- formal specification
- temporal databases
- control flow
- temporal evolution
- process model
- scheduling algorithm
- temporal dimension
- search engine
- written in natural language