Verifying the Correctness of Distributed Systems via Mergeable Parallelism.
Teng LongXingtao RenQing WangChao WangPublished in: SETTA (2021)
Keyphrases
- distributed systems
- fault tolerant
- distributed computing
- message passing
- load balancing
- distributed environment
- shared memory
- real time systems
- fault tolerance
- concurrent systems
- geographically distributed
- operating system
- distributed database systems
- mobile agents
- parallel processing
- deadlock detection
- agent technology
- security policies
- model checking
- loosely coupled
- fine grained
- response time
- replicated data
- mobile devices
- digital libraries