On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.
Max I. KanovichTajana Ban KiriginVivek NigamAndre ScedrovCarolyn L. TalcottPublished in: CoRR (2021)
Keyphrases
- distributed systems
- technical report
- concurrent systems
- load balancing
- fault tolerant
- distributed environment
- operating system
- geographically distributed
- fault tolerance
- distributed computing
- message passing
- data replication
- mobile agents
- case study
- distributed database systems
- mobile computing
- loosely coupled
- real time systems
- deadlock detection
- high assurance