Keyphrases
- concurrent systems
- distributed systems
- process algebra
- temporal logic
- formal specification
- petri net
- spatial and temporal
- temporal information
- temporal constraints
- transition systems
- model checking
- spatio temporal
- space time
- temporal databases
- temporal evolution
- temporal reasoning
- temporal data
- neural network
- case study
- temporal patterns
- temporal relations
- temporal consistency
- execution traces
- artificial intelligence