A Complete Temporal and Spatial Logic for Distributed Systems.
Dirk PattinsonBernhard ReusPublished in: FroCoS (2005)
Keyphrases
- distributed systems
- spatial and temporal
- spatio temporal
- fault tolerant
- fault tolerance
- temporal dimension
- temporal correlation
- spatial features
- temporal aspects
- temporal resolution
- message passing
- temporal dependencies
- space time
- load balancing
- spatial information
- spatial data
- geographically distributed
- temporal information
- spatio temporal data
- distributed computing
- temporal constraints
- distributed database systems
- linear temporal logic
- real time systems
- distributed environment
- mobile agents
- loosely coupled
- data replication
- temporal patterns
- deadlock detection
- operating system
- replicated data
- high assurance
- mobile computing
- concurrent systems
- agent based systems
- intelligent agents
- temporal reasoning
- security policies