Specification in Distributed Systems.
Gregor von BochmannPublished in: Advanced Course: Local Area Networks (1983)
Keyphrases
- distributed systems
- load balancing
- distributed environment
- fault tolerance
- fault tolerant
- geographically distributed
- message passing
- distributed computing
- real time systems
- software architecture
- real time
- formal specification
- distributed database systems
- concurrent systems
- replicated data
- deadlock detection
- software development environments
- mobile agent system
- data replication
- operating system
- database systems