| 1990 | A Characterization of Eventual Byzantine Agreement. Joseph Y. Halpern, Yoram Moses, Orli Waarts |
| 1990 | A Decidable Temporal Logic to Reason About Many Processes. E. Allen Emerson, Jai Srinivasan |
| 1990 | A Hierarchy of Temporal Properties. Zohar Manna, Amir Pnueli |
| 1990 | A Quantitative Approach to Dynamic Networks. Baruch Awerbuch, Oded Goldreich, Amir Herzberg |
| 1990 | Agreement is Harder than Consensus: Set Consensus Problems in Totally Asynchronous Systems. Soma Chaudhuri |
| 1990 | Atomic Snapshots of Shared Memory. Yehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, Nir Shavit |
| 1990 | Composite Registers. James H. Anderson |
| 1990 | Continuous Clock Amortization Need Not Affect the Precision of a Clock Synchronization Algorithm. Frank B. Schmuck, Flaviu Cristian |
| 1990 | Cost-Sensitive Analysis of Communication Protocols. Baruch Awerbuch, Alan E. Baratz, David Peleg |
| 1990 | Distributed Control for PARIS. Baruch Awerbuch, Israel Cidon, Inder S. Gopal, Marc A. Kaplan, Shay Kutten |
| 1990 | Distributed Variable Server for Atomic Unification. Alon Kleinman, Yoram Moses, Ehud Shapiro |
| 1990 | Early-Delivery Atomic Broadcast. Ajei S. Gopal, H. Raymond Strong, Sam Toueg, Flaviu Cristian |
| 1990 | Half-Order Modal Logic: How to Prove Real-Time Properties. Thomas A. Henzinger |
| 1990 | Lazy Replication: Exploiting the Semantics of Distributed Services. Rivka Ladin, Barbara Liskov, Liuba Shrira |
| 1990 | Lower Bounds for Wait-Free Computation in Message-Passing Systems. Maurice Herlihy, Mark R. Tuttle |
| 1990 | Principle for High Speed Network Control: Congestion- and Deadlock-Freeness, Self-Routing, and a Single Buffer per Link. Yoram Ofek, Moti Yung |
| 1990 | Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, Quebec City, Quebec, Canada, August 22-24, 1990 Cynthia Dwork |
| 1990 | Reasoning About Probabilistic Algorithms. Josyula R. Rao |
| 1990 | Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity. Shlomi Dolev, Amos Israeli, Shlomo Moran |
| 1990 | Self-Stabilizing Extensions for Message-Passing Systems. Shmuel Katz, Kenneth J. Perry |
| 1990 | Sharing Memory Robustly in Message-Passing Systems. Hagit Attiya, Amotz Bar-Noy, Danny Dolev |
| 1990 | The Inhibition Spectrum and the Achievement of Causal Consistency. Carol Critchlow, Kim Taylor |
| 1990 | Tight Bounds for Weakly Bounded Protocols. Ewan D. Tempero, Richard E. Ladner |
| 1990 | Time- and Space-Efficient Randomized Consensus. James Aspnes |
| 1990 | Token Management Schemes and Random Walks Yield Self-Stabilizing Mutual Exclusion. Amos Israeli, Marc Jalfon |
| 1990 | Two Messages are Almost Optimal for Conveying Information. Alon Orlitsky |
| 1990 | Using Mappings to Prove Timing Properties. Nancy A. Lynch, Hagit Attiya |
| 1990 | Virtual Time II: Storage Management in Conservative and Optimistic Systems. David Jefferson |