Online Monitoring of Distributed Systems with a Five-Valued LTL.
Ming ChaiBernd-Holger SchlingloffPublished in: ISMVL (2014)
Keyphrases
- distributed systems
- real time
- fault tolerant
- distributed environment
- load balancing
- message passing
- network monitoring
- geographically distributed
- mobile agents
- fault tolerance
- deadlock detection
- concurrent systems
- online learning
- monitoring system
- operating system
- distributed computing
- distributed database systems
- agent technology
- security policies
- loosely coupled
- data replication
- temporal logic
- model checking
- database
- mobile computing
- real time systems
- replicated data
- access control
- deterministic automata