Fairness in Temporal Verification of Distributed Systems.
Wiktor B. DaszczukPublished in: DepCoS-RELCOMEX (2018)
Keyphrases
- distributed systems
- concurrent systems
- distributed environment
- fault tolerant
- load balancing
- high assurance
- geographically distributed
- fault tolerance
- real time systems
- temporal information
- mobile agents
- loosely coupled
- message passing
- deadlock detection
- operating system
- mobile computing
- distributed database systems
- distributed computing
- model checking
- resource allocation
- security policies
- agent technology
- artificial intelligence
- software development environments