Local Reasoning about Parameterized Reconfigurable Distributed Systems.
Emma AhrensMarius BozgaRadu IosifJoost-Pieter KatoenPublished in: CoRR (2021)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- fault tolerance
- distributed environment
- geographically distributed
- message passing
- distributed database systems
- distributed computing
- low cost
- operating system
- hardware implementation
- mobile agents
- concurrent systems
- real time systems
- loosely coupled
- mobile computing
- case study
- agent technology
- security policies
- distributed databases
- response time
- database