Synthesizing Processes and Schedulers from Temporal Specifications.
Howard Wong-ToiDavid L. DillPublished in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
- temporal aspects
- spatial and temporal
- temporal constraints
- temporal dimension
- temporal data
- temporal databases
- high level
- spatio temporal
- temporal reasoning
- image sequences
- temporal analysis
- temporal information
- stochastic processes
- temporal patterns
- temporal sequences
- computing environments
- reactive systems
- real time
- process model
- response time
- data streams
- database systems
- information systems