Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.

Travis Hance Marijn Heule Ruben Martins Bryan Parno

Published in: NSDI (2021)

Keyphrases

distributed systems
fault tolerant
distributed environment
load balancing
mobile agents
distributed database systems
geographically distributed
real time systems
distributed computing
message passing
fault tolerance
operating system
deadlock detection
loosely coupled
data replication
concurrent systems
database