Organising LTL Monitors over Distributed Systems with a Global Clock.
Christian ColomboYliès FalconePublished in: RV (2014)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- distributed environment
- message passing
- geographically distributed
- fault tolerance
- model checking
- distributed computing
- mobile agents
- temporal logic
- distributed database systems
- concurrent systems
- power consumption
- loosely coupled
- real time systems
- linear temporal logic
- high speed
- data replication
- replicated data
- security policies
- operating system
- multidatabase systems
- databases
- real time
- database