Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- message passing
- load balancing
- distributed environment
- fault tolerance
- high assurance
- distributed computing
- geographically distributed
- model checking
- mobile agents
- distributed database systems
- temporal logic
- operating system
- loosely coupled
- signature verification
- software architecture
- data replication
- database systems
- artificial intelligence