| 1984 | Byzantine Clock Synchronization. | Leslie Lamport, P. M. Melliar-Smith |
| 1984 | Solved Problems, Unsolved Problems and Non-Problems in Concurrency (Invited Address). | Leslie Lamport |
| 1984 | Tight Lower and Upper Bounds for Some Distributed Algorithms for a Complete Network of Processors. | Ephraim Korach, Shlomo Moran, Shmuel Zaks |
| 1984 | SODA: A Simplified Operating System for Distributed Applications. | Jonathan Kepecs, Marvin H. Solomon |
| 1984 | An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms. | David Jefferson, Andrew Witkowski |
| 1984 | Fault-Tolerant Clock Synchronization. | Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev |
| 1984 | Knowledge and Common Knowledge in a Distributed Environment. | Joseph Y. Halpern, Yoram Moses |
| 1984 | Fail Termination of Communicating Processe. | Orna Grumberg, Nissim Francez, Shmuel Katz |
| 1984 | A Technique for Proving Liveness of Communicating Finite State Machines with Examples. | Mohamed G. Gouda, Chung-Kuo Chang |
| 1984 | Election and Traversal in Unidirectional Networks. | Eli Gafni, Yehuda Afek |
| 1984 | Relations Between Concurrent-Write Models of Parallel Computation. | Faith E. Fich, Prabhakar Ragde, Avi Wigderson |
| 1984 | Patterns of Communication in Consensus Protocols. | Cynthia Dwork, Dale Skeen |
| 1984 | Consensus in the Presence of Partial Synchrony (Preliminary Version). | Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer |
| 1984 | Replicated Procedure Call. | Eric C. Cooper |
| 1984 | A Distributed Algorithm for Generalized Deadlock Detection. | Gabriel Bracha, Sam Toueg |
| 1984 | An Asynchronou [(n-1)/3]-Resilient Consensus Protocol. | Gabriel Bracha |
| 1984 | Efficient and Reliable Broadcast is Achievable in an Eventually Connected Network. | Baruch Awerbuch, Shimon Even |
| 1984 | Asynchronous Byzantine Consensus. | Chagit Attiya, Danny Dolev, Joseph Gil |
| 1983 | Data-dependent Concurrency Control and Recovery (Extended Abstract). | William E. Weihl |
| 1983 | Freedom from Deadlock of Locked Transactions in a Distributed Database. | Henry Tirri |
| 1983 | Distributed k-Selection: From a Sequential to a Distributed Algorithm. | Liuba Shrira, Nissim Francez, Michael Rodeh |
| 1983 | An Interval Logic for Higher-Level Temporal Reasoning. | Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt |
| 1983 | Synthesis of Communicating Processes. | Abha Moitra |
| 1983 | Method for Distributed Transaction Commit and recovery Using Byzantine Agreement Within Clusters of Processors. | C. Mohan, H. Raymond Strong, Sheldon J. Finkelstein |
| 1983 | Efficient Commit Protocols for the Tree of Processes Model of Distributed Transactions. | C. Mohan, Bruce G. Lindsay |