| 1990 | Half-Order Modal Logic: How to Prove Real-Time Properties. | Thomas A. Henzinger |
| 1990 | A Characterization of Eventual Byzantine Agreement. | Joseph Y. Halpern, Yoram Moses, Orli Waarts |
| 1990 | Early-Delivery Atomic Broadcast. | Ajei S. Gopal, H. Raymond Strong, Sam Toueg, Flaviu Cristian |
| 1990 | A Decidable Temporal Logic to Reason About Many Processes. | E. Allen Emerson, Jai Srinivasan |
| 1990 | Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity. | Shlomi Dolev, Amos Israeli, Shlomo Moran |
| 1990 | The Inhibition Spectrum and the Achievement of Causal Consistency. | Carol Critchlow, Kim Taylor |
| 1990 | Agreement is Harder than Consensus: Set Consensus Problems in Totally Asynchronous Systems. | Soma Chaudhuri |
| 1990 | A Quantitative Approach to Dynamic Networks. | Baruch Awerbuch, Oded Goldreich, Amir Herzberg |
| 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 | Sharing Memory Robustly in Message-Passing Systems. | Hagit Attiya, Amotz Bar-Noy, Danny Dolev |
| 1990 | Time- and Space-Efficient Randomized Consensus. | James Aspnes |
| 1990 | Composite Registers. | James H. Anderson |
| 1990 | Atomic Snapshots of Shared Memory. | Yehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, Nir Shavit |
| 1989 | Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. | Job Zwiers, Willem P. de Roever |
| 1989 | Tight Bounds for the Sequence Transmission Problem. | Da-Wei Wang, Lenore D. Zuck |
| 1989 | Tight Bounds for Shared Memory Symmetric Mutual Exclusion Problems. | Eugene Styer, Gary L. Peterson |
| 1989 | Efficient Distributed Recovery Using Message Logging. | A. Prasad Sistla, Jennifer L. Welch |
| 1989 | Calling Names in Nameless Networks. | Baruch Schieber |
| 1989 | Sticky Bits and Universality of Consensus. | Serge A. Plotkin |
| 1989 | Towards Dataflow Analysis of Communicating Finite State Machines. | Wuxu Peng, S. Purushothaman |
| 1989 | On Reliable Message Diffusion. | Yoram Moses, Gil Roth |
| 1989 | Equational Reasoning About Nondeterministic Processes. | Jayadev Misra |
| 1989 | A Categorical Approach to Distributed Systems Expressibility and Knowledge. | Ruben Michel |
| 1989 | The Intractability of Bounded Protocols for Non-FIFO Channels. | Yishay Mansour, Baruch Schieber |