Component-Based Specification of Distributed Systems.
Grant MalcolmPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- message passing
- distributed computing
- load balancing
- geographically distributed
- fault tolerance
- operating system
- mobile agents
- real time systems
- software architecture
- data replication
- loosely coupled
- concurrent systems
- security policies
- distributed database systems
- real time
- formal specification
- database systems
- case study