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