A graph-based approach to the compositional specification of distributed systems.
Manuel KochPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- message passing
- load balancing
- fault tolerance
- operating system
- geographically distributed
- real time systems
- case study
- distributed database systems
- weighted graph
- distributed computing
- loosely coupled
- real time
- data replication
- concurrent systems
- mobile computing
- mobile agents