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

TL;DR

This paper reviews Nancy Lynch's extensive work on developing a comprehensive theoretical framework for distributed systems, highlighting foundational algorithms, impossibility results, and applications across various practical and biological systems.

Contribution

It consolidates and emphasizes the foundational contributions to distributed system theory made by Nancy Lynch and collaborators since the 1970s, including algorithms, proofs, and limitations.

Findings

Development of new distributed algorithms

Discovery of errors in previous algorithms

Establishment of lower bounds and impossibility results

Abstract

In this manuscript I overview my work on developing a Theory for Distributed Systems -- work that has involved many students and other collaborators. This effort started at Georgia Tech in the late 1970s, and has continued at MIT since 1981. This manuscript emphasizes the earlier contributions, and their impact on the directions of the field. These contributions include new distributed algorithms; rigorous proofs and analysis; discovery of errors in previous algorithms; lower bounds and other impossibility results expressing inherent limitations on the power of distributed systems; general mathematical foundations for modeling and analyzing distributed systems; and applications of these methods to understanding a variety of practical distributed systems, including distributed data-management systems, wired and wireless communication systems, and biological systems.