Inferring and asserting distributed system invariants.
Stewart GrantHendrik CechIvan BeschastnikhPublished in: ICSE (2018)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- fault tolerance
- load balancing
- operating system
- geographically distributed
- message passing
- software architecture
- distributed database systems
- moment invariants
- distributed computing
- data replication
- mobile agents
- concurrent systems
- database
- information exchange
- agent technology
- security policies
- invariant features
- loosely coupled
- vision system