Constructing formal rules to verify message communication in distributed systems.
Seyed Morteza BabamirPublished in: J. Supercomput. (2012)
Keyphrases
- distributed systems
- message transmission
- fault tolerant
- communication channels
- fault tolerance
- distributed computing
- software development environments
- distributed database systems
- mobile agents
- message passing
- geographically distributed
- load balancing
- security policies
- distributed environment
- operating system
- association rules
- data replication
- real time systems
- communication overhead
- deadlock detection
- short messages
- loosely coupled
- resource constrained
- database
- communication cost
- communication networks
- communication protocol
- messages exchanged
- message delivery
- information sharing