A Causal Assert Statement for Distributed Systems.
Sharon SimmonsPhil KearnsPublished in: Parallel and Distributed Computing and Systems (1995)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- distributed environment
- bayesian networks
- message passing
- causal models
- concurrent systems
- operating system
- distributed computing
- geographically distributed
- real time systems
- causal relationships
- fault tolerance
- replicated data
- security policies
- distributed database systems
- data replication
- database
- agent based systems
- mobile computing
- deadlock detection
- software development environments
- loosely coupled
- database systems