Reasoning about Asynchronous Behaviour in Distributed Systems.
Peter HendersonPublished in: ICECCS (2002)
Keyphrases
- distributed systems
- distributed environment
- load balancing
- fault tolerant
- geographically distributed
- fault tolerance
- mobile agents
- message passing
- data replication
- deadlock detection
- operating system
- distributed database systems
- database systems
- data availability
- real time systems
- qualitative reasoning
- database
- loosely coupled
- security policies
- mobile computing
- distributed computing
- replicated data
- concurrent systems