Temporal Theories as Modularisation Units for Concurrent System Specification.
José Luiz FiadeiroT. S. E. MaibaumPublished in: Formal Aspects Comput. (1992)
Keyphrases
- spatio temporal
- temporal ordering
- spatial and temporal
- hybrid automata
- temporal reasoning
- high level
- temporal constraints
- linear temporal logic
- temporal data
- theoretical framework
- temporal information
- temporal relations
- formal specification
- temporal patterns
- concurrent programs
- formal methods
- databases
- temporal databases
- computational models
- specification language
- temporal evolution
- temporal dimension
- space time
- case study
- artificial intelligence
- neural network