Efficient Symbolic Detection of Global Properties in Distributed Systems.
Scott D. StollerYanhong A. LiuPublished in: CAV (1998)
Keyphrases
- distributed systems
- distributed environment
- geographically distributed
- load balancing
- fault tolerant
- distributed computing
- message passing
- distributed database systems
- operating system
- fault tolerance
- detection algorithm
- real time systems
- data replication
- concurrent systems
- deadlock detection
- anomaly detection
- databases
- multidatabase systems
- agent based systems
- replicated data