A Pragmatic Basis for the Formal Development of Distributed Systems.
Kenneth R. WoodPublished in: IWSSD (1993)
Keyphrases
- distributed systems
- fault tolerant
- agent based systems
- distributed environment
- geographically distributed
- fault tolerance
- software development environments
- load balancing
- distributed computing
- deadlock detection
- concurrent systems
- operating system
- message passing
- distributed database systems
- data replication
- knowledge management
- real time systems
- software architecture
- mobile agents
- security policies
- databases
- multi agent
- case study
- development process
- service oriented architecture
- software engineering
- loosely coupled
- mathematical theory
- real time
- multiagent systems
- database