On the Complexity of Verification of Time-Sensitive Distributed Systems.
Max I. KanovichTajana Ban KiriginVivek NigamAndre ScedrovCarolyn L. TalcottPublished in: Protocols, Strands, and Logic (2021)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- fault tolerance
- message passing
- load balancing
- distributed computing
- mobile agents
- geographically distributed
- deadlock detection
- distributed database systems
- real time systems
- model checking
- databases
- data replication
- high assurance
- temporal logic
- security policies
- operating system
- multiagent systems
- software development environments