State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems.
Jehad Al-DallalKassem SalehPublished in: Int. J. Commun. Syst. (2013)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- load balancing
- distributed environment
- replicated data
- message passing
- distributed database systems
- distributed computing
- operating system
- mobile agent system
- fault tolerance
- mobile agents
- real time systems
- geographically distributed
- data availability
- software architecture
- loosely coupled
- data replication
- object oriented
- database
- security policies
- agent based systems