Automated Validation of a Co-operation Protocol for Distributed Systems.
Kurt GeihsManfred H. SeifertPublished in: ICDCS (1986)
Keyphrases
- distributed systems
- replicated data
- fault tolerant
- fault tolerance
- distributed environment
- data availability
- load balancing
- lightweight
- message passing
- concurrent systems
- distributed computing
- real time systems
- loosely coupled
- geographically distributed
- mobile agent system
- operating system
- distributed database systems
- security policies
- real time
- agent based systems
- mobile computing
- agent technology
- mobile agents
- complex systems
- communication protocol
- data replication
- wireless networks
- intelligent agents
- software engineering