Weighted Distributed Systems and Their Logics.
Benedikt BolligIngmar MeineckePublished in: LFCS (2007)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- fault tolerance
- distributed environment
- message passing
- distributed computing
- concurrent systems
- geographically distributed
- expressive power
- modal logic
- operating system
- loosely coupled
- mobile agents
- deadlock detection
- real time systems
- replicated data
- artificial intelligence
- data replication