An application of temporal projection to interleaving concurrency.
Ben C. MoszkowskiDimitar P. GuelevPublished in: Formal Aspects Comput. (2017)
Keyphrases
- temporal information
- temporal data
- database systems
- spatial and temporal
- temporal constraints
- neural network
- temporal reasoning
- artificial intelligence
- object oriented languages
- projection method
- temporal consistency
- temporal analysis
- temporal evolution
- temporal relations
- temporal databases
- object oriented
- spatio temporal
- temporal relationships
- data model
- dynamic allocation