Reasoning About Distributed Systems: WYSIWYG (Invited Talk).
C. AiswaryaPaul GastinPublished in: FSTTCS (2014)
Keyphrases
- distributed systems
- invited talk
- fault tolerant
- knowledge discovery and data mining
- load balancing
- distributed environment
- selected papers
- distributed computing
- geographically distributed
- message passing
- fault tolerance
- mobile agents
- operating system
- concurrent systems
- real time systems
- distributed database systems
- security policies
- data replication
- program committee
- database
- agent technology
- agent based systems
- replicated data