A Static Communication Elimination Algorithm for Distributed System Verification.
Francesc-Xavier BabotMiquel BertranAugust ClimentPublished in: ICFEM (2005)
Keyphrases
- distributed systems
- elimination algorithm
- concurrent systems
- fault tolerant
- software development environments
- load balancing
- probabilistic inference
- distributed environment
- fault tolerance
- geographically distributed
- message passing
- distributed computing
- distributed database systems
- security policies
- hadamard transform
- high assurance
- mobile computing
- data replication
- model checking
- data availability
- information sharing
- mobile agents