Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators arxiv.org 2 points by SchwKatze 11 hours ago