Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators