| 1994 | A Characterization of Networks Supporting Linear Interval Routing. Pierre Fraigniaud, Cyril Gavoille |
| 1994 | A Checkpoint Protocol for an Entry Consistent Shared Memory System. Nuno Neves, Miguel Castro, Paulo Guedes |
| 1994 | A Combinatorial Treatment of Balancing Networks. Costas Busch, Marios Mavronicolas |
| 1994 | A Compositional Verification Method for LOTOS. Hacène Fouchal, Ana R. Cavalli |
| 1994 | A Fault-Tolerant Dynamic Resource Allocation Algorithm (Short Abstract). Injong Rhee |
| 1994 | A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model. John M. Rushby |
| 1994 | A Gap Theorem for Consensus Types (Extended Abstract). Rida A. Bazzi, Gary L. Peterson |
| 1994 | A Performance Evaluation of Lock-Free Synchronization Protocols. Anthony LaMarca |
| 1994 | A Recognize-and-Accuse Policy to Speed up Distributed Processes. Alessandro Genco, Giuseppe Lo Re |
| 1994 | A Verification Method Based on Homomorphic Model Abstractions (Abstract). Ulrich Nitsche |
| 1994 | Adaptive Algorithms for PASO Systems. Jeffery R. Westbrook, Lenore D. Zuck |
| 1994 | Adaptive Video on Demand. Sudhanshu Aggarwal, Juan A. Garay, Amir Herzberg |
| 1994 | Asynchronous Secure Computations with Optimal Resilience (Extended Abstract). Michael Ben-Or, Boaz Kelmer, Tal Rabin |
| 1994 | CoLa: A Coordination Language for Massive Parallelism. Béat Hirsbrunner, Marc Aguilar, Oliver Krone |
| 1994 | Coins, Weights and Contention in Balancing Networks. William Aiello, Ramarathnam Venkatesan, Moti Yung |
| 1994 | Competitiveness in Distributed Algorithms. Miklós Ajtai, James Aspnes, Cynthia Dwork, Orli Waarts |
| 1994 | Consensus Power Makes (Some) Sense! (Extended Abstract). Elizabeth Borowsky, Eli Gafni, Yehuda Afek |
| 1994 | Consistency and Conformance in ODP (Abstract). Howard Bowman, John Derrick |
| 1994 | Contention in Counting Networks. Costas Busch, Nikos Hardavellas, Marios Mavronicolas |
| 1994 | Contention-free Complexity of Shared Memory Algorithms. Rajeev Alur, Gadi Taubenfeld |
| 1994 | Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. Martin Adelantado, Frédéric Boniol |
| 1994 | Delimiting the Power of Bounded Size Synchronization Objects (Extended Abstract). Yehuda Afek, Gideon Stupp |
| 1994 | Derivation of Fault Tolerance Properties of Distributed Algorithms. Philippe Quéinnec, Gérard Padiou |
| 1994 | Disjoint-Access-Parallel Implementations of Strong Shared Memory Primitives. Amos Israeli, Lihu Rappoport |
| 1994 | Distributed Pursuit-Evasion: Some Aspects of Privacy and Security in Distributed Computing. Paul G. Spirakis, Basil Tampakas |
| 1994 | Dynamic Load Sharing Algorithm with a Weighted Load Representation. Seung Ho Cho, Sang-Yong Han |
| 1994 | Dynamic Sets for Search. David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing |
| 1994 | ENF Event Predicate Detection in Distributed Systems. Hsien-Kuang Chiou, Willard Korfhage |
| 1994 | Global Flush Communication Primitive for Inter-process Communication. Ashwani Gahlot, Mohan Ahuja, Timothy Carlson |
| 1994 | Implementation of Authenticated Communication Based on Hierarchy-Relative Naming Scheme. Nobuhisa Fujinami |
| 1994 | Integrated Support Environment for Concurrent Process Calculi. Sen Yoshida, Atsushi Togashi, Norio Shiratori |
| 1994 | Knowledge, Timed Precedence and Clocks (Preliminary Report). Yoram Moses, Ben Bloom |
| 1994 | Leader Election in the Presence of Link Failures (Abstract). Gurdip Singh |
| 1994 | Making Operations of Concurrent Data Types Fast. Martha J. Kosa |
| 1994 | Memory-Efficient and Self-Stabilizing Network {RESET} (Extended Abstract). Baruch Awerbuch, Rafail Ostrovsky |
| 1994 | Mixed Consistency: A Model for Parallel Programming (Extended Abstract). Divyakant Agrawal, Manhoi Choy, Hong Va Leong, Ambuj K. Singh |
| 1994 | Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). Howard Bowman, John Derrick, Richard E. Jones |
| 1994 | Multimedia Networking: Applications and Challenges. Inder S. Gopal |
| 1994 | Observable Clock Synchronization (Extended Abstract). Danny Dolev, Rüdiger Reischuk, H. Raymond Strong |
| 1994 | On the Coding of Dependencies in Distributed Computations (Abstract). Claude Jard, Guy-Vincent Jourdan |
| 1994 | On the Memory Overhead of Distributed Snapshots. Lior Shabtay, Adrian Segall |
| 1994 | On the Use of Registers in Achieving Wait-Free Consensus. Rida A. Bazzi, Gary L. Peterson |
| 1994 | Open Systems in TLA. Martín Abadi, Leslie Lamport |
| 1994 | PCODE: Efficient Parallel Computing over Distributed Environments. Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Rimon Orni, H. Raymond Strong |
| 1994 | Potential Function Analysis of Greedy Hot-Potato Routing. Amir Ben-Dor, Shai Halevi, Assaf Schuster |
| 1994 | Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. Joffroy Beauquier, Sylvie Delaët |
| 1994 | Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994 James H. Anderson, David Peleg, Elizabeth Borowsky |
| 1994 | Proving Time Bounds for Randomized Distributed Algorithms. Nancy A. Lynch, Isaac Saias, Roberto Segala |
| 1994 | Reconciliations. John H. Howard, Shmuel Katz |
| 1994 | Repeatable and Portable Message-Passing Programs. Robert Cypher, Eric Leu |
| 1994 | Research Issues in Ubiquitous Computing. Alan J. Demers |
| 1994 | Resilience of General Interactive Tasks. Benny Chor, Lee-Bath Nelson |
| 1994 | Self-Stabilization by Counter Flushing. George Varghese |
| 1994 | Self-Stabilizing Algorithms for Finding Centers and Medians of Trees. Mehmet Hakan Karaata, Sriram V. Pemmaraju, Steven C. Bruell, Sukumar Ghosh |
| 1994 | Set Consensus Using Arbitrary Objects (Preliminary Version). Maurice Herlihy, Sergio Rajsbaum |
| 1994 | Set-Linearizability. Gil Neiger |
| 1994 | Simulating Fail-Stop in Asynchronous Distributed Systems. Laura S. Sabel, Keith Marzullo |
| 1994 | Stabilizing Algorithms for Diagnosing Crash Failures. Jeffery C. Line, Sukumar Ghosh |
| 1994 | The Formal Verification of an ATM Network. Paul Curzon |
| 1994 | The Impact of Synchronization on the Session Problem. Marios Mavronicolas |
| 1994 | The Virtual Path Layout Problem in Fast Networks (Extended Abstract). Ornan Ori Gerstel, Shmuel Zaks |
| 1994 | Time-Optimal Message-Efficient Work Performance in the Presence of Faults (Extended Summary). Roberto De Prisco, Alain J. Mayer, Moti Yung |
| 1994 | Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. Matthias Radestock, Susan Eisenbach |
| 1994 | Uniform Actions in Asynchronous Distributed Systems (Extended Abstract). Dalia Malki, Kenneth P. Birman, Aleta Ricciardi, André Schiper |
| 1994 | Using Belief to Reason about Cache Coherence. Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan |
| 1994 | Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract). James H. Anderson, Mark Moir |
| 1994 | Verification of a Distributed Algorithm (Abstract). Kaisa Sere, Marina Waldén |
| 1994 | Wait-Freedom vs. Bounded Wait-Freedom in Public Data Structures (Extended Abstract). Hagit Brit, Shlomo Moran |
| 1994 | Wait-Freedom vs. t-Resiliency and the Robustness of Wait-Free Hierarchies. Tushar Deepak Chandra, Vassos Hadzilacos, Prasad Jayanti, Sam Toueg |
| 1994 | XMP++: An Object-Oriented Solution for Hiding the Complexity of Network Management Protocols. Sakari Rahkila, Susanne Stenberg |