Rigorous Design of Moving Sequencer Atomic Broadcast in Distributed Systems.
Prateek SrivastavaAkhilesh SharmaPublished in: ICTCS (2016)
Keyphrases
- distributed systems
- software architecture
- fault tolerant
- distributed computing
- geographically distributed
- load balancing
- distributed environment
- fault tolerance
- mobile agents
- mobile computing
- high assurance
- digital libraries
- deadlock detection
- real time systems
- information resources
- design process
- distributed database systems
- loosely coupled
- embedded systems
- wireless networks