Quantified Abstractions of Distributed Systems.
Elvira AlbertJesús CorreasGermán PueblaGuillermo Román-DíezPublished in: IFM (2013)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- geographically distributed
- distributed computing
- high level
- message passing
- fault tolerance
- concurrent systems
- deadlock detection
- real time systems
- mobile agents
- distributed database systems
- operating system
- artificial intelligence
- databases
- mobile computing
- security policies
- loosely coupled
- case study
- real time