| 1991 | Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). | Vassos Hadzilacos, Joseph Y. Halpern |
| 1991 | Inconsistency and Contamination (Preliminary Version). | Ajei S. Gopal, Sam Toueg |
| 1991 | Compact Deterministic Distributed Dictionaries (Extended Abstract). | Karni Gilon, David Peleg |
| 1991 | Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. | Haim Gaifman, Michael J. Maher, Ehud Shapiro |
| 1991 | Resource Bounds for Self Stabilizing Message Driven Protocols. | Shlomi Dolev, Amos Israeli, Shlomo Moran |
| 1991 | Resiliency of Interactive Distributed Tasks (Extended Abstract). | Benny Chor, Lee-Bath Nelson |
| 1991 | Unreliable Failure Detectors for Asynchronous Systems (Preliminary Version). | Tushar Deepak Chandra, Sam Toueg |
| 1991 | Efficient Deadlock-Free Routing. | Baruch Awerbuch, Shay Kutten, David Peleg |
| 1991 | Broadcast with Partial Knowledge (Preliminary Version). | Baruch Awerbuch, Israel Cidon, Shay Kutten, Yishay Mansour, David Peleg |
| 1991 | The Benefits of Relaxing Punctuality. | Rajeev Alur, Toms Feder, Thomas A. Henzinger |
| 1991 | Bootstrap Network Resynchronization (Extended Abstract). | Yehuda Afek, Eli Gafni |
| 1991 | A Semantics for a Logic of Authentication (Extended Abstract). | Martn Abadi, Mark R. Tuttle |
| 1990 | Tight Bounds for Weakly Bounded Protocols. | Ewan D. Tempero, Richard E. Ladner |
| 1990 | Continuous Clock Amortization Need Not Affect the Precision of a Clock Synchronization Algorithm. | Frank B. Schmuck, Flaviu Cristian |
| 1990 | Reasoning About Probabilistic Algorithms. | Josyula R. Rao |
| 1990 | Two Messages are Almost Optimal for Conveying Information. | Alon Orlitsky |
| 1990 | Principle for High Speed Network Control: Congestion- and Deadlock-Freeness, Self-Routing, and a Single Buffer per Link. | Yoram Ofek, Moti Yung |
| 1990 | A Hierarchy of Temporal Properties. | Zohar Manna, Amir Pnueli |
| 1990 | Using Mappings to Prove Timing Properties. | Nancy A. Lynch, Hagit Attiya |
| 1990 | Lazy Replication: Exploiting the Semantics of Distributed Services. | Rivka Ladin, Barbara Liskov, Liuba Shrira |
| 1990 | Distributed Variable Server for Atomic Unification. | Alon Kleinman, Yoram Moses, Ehud Shapiro |
| 1990 | Self-Stabilizing Extensions for Message-Passing Systems. | Shmuel Katz, Kenneth J. Perry |
| 1990 | Virtual Time II: Storage Management in Conservative and Optimistic Systems. | David Jefferson |
| 1990 | Token Management Schemes and Random Walks Yield Self-Stabilizing Mutual Exclusion. | Amos Israeli, Marc Jalfon |
| 1990 | Lower Bounds for Wait-Free Computation in Message-Passing Systems. | Maurice Herlihy, Mark R. Tuttle |