Quantified abstract configurations of distributed systems.
Elvira AlbertJesús Correas FernándezGermán PueblaGuillermo Román-DíezPublished in: Formal Aspects Comput. (2015)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- modular robots
- distributed computing
- geographically distributed
- mobile agents
- load balancing
- fault tolerance
- message passing
- distributed database systems
- agent technology
- deadlock detection
- real time systems
- operating system
- data replication
- mobile agent system
- mobile computing
- software development environments
- data availability
- agent based systems