Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems.
Francesco Di CosmoPublished in: CoRR (2023)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- knowledge representation
- high assurance
- model checking
- distributed computing
- message passing
- distributed database systems
- deadlock detection
- operating system
- data replication
- mobile agents
- agent technology
- mobile computing
- security policies
- real time systems
- artificial intelligence
- dynamic environments
- mobile agent system
- wireless sensor networks
- database systems