Organising LTL monitors over distributed systems with a global clock.
Christian ColomboYliès FalconePublished in: Formal Methods Syst. Des. (2016)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- message passing
- load balancing
- geographically distributed
- fault tolerance
- data replication
- real time systems
- model checking
- mobile agents
- high speed
- distributed computing
- loosely coupled
- linear temporal logic
- concurrent systems
- agent based systems
- deadlock detection
- distributed database systems
- data availability
- temporal logic
- operating system
- mobile computing
- agent technology
- replicated data