Convergence Verification of Declarative Distributed Systems.
Diego CalvaneseFrancesco Di CosmoJorge LoboMarco MontaliPublished in: CILC (2021)
Keyphrases
- distributed systems
- concurrent systems
- distributed environment
- fault tolerant
- geographically distributed
- operating system
- fault tolerance
- load balancing
- distributed computing
- database
- message passing
- knowledge representation
- convergence rate
- model checking
- real time systems
- high assurance
- loosely coupled
- data replication
- distributed database systems
- mobile agents
- mobile computing
- replicated data
- deadlock detection
- software development environments
- artificial intelligence