Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- message passing
- fault tolerance
- load balancing
- logic programming
- knowledge representation
- distributed computing
- programming language
- geographically distributed
- mobile agents
- expert systems
- operating system
- software architecture
- real time systems
- loosely coupled
- security policies
- deadlock detection
- data replication
- formal specification
- distributed database systems
- case study
- mobile computing
- embedded systems
- cloud computing
- database systems
- databases