| 1994 | A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model. | John M. Rushby |
| 1994 | A Fault-Tolerant Dynamic Resource Allocation Algorithm (Short Abstract). | Injong Rhee |
| 1994 | XMP++: An Object-Oriented Solution for Hiding the Complexity of Network Management Protocols. | Sakari Rahkila, Susanne Stenberg |
| 1994 | Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. | Matthias Radestock, Susan Eisenbach |
| 1994 | Derivation of Fault Tolerance Properties of Distributed Algorithms. | Philippe Quinnec, Grard Padiou |
| 1994 | Time-Optimal Message-Efficient Work Performance in the Presence of Faults (Extended Summary). | Roberto De Prisco, Alain J. Mayer, Moti Yung |
| 1994 | A Verification Method Based on Homomorphic Model Abstractions (Abstract). | Ulrich Nitsche |
| 1994 | A Checkpoint Protocol for an Entry Consistent Shared Memory System. | Nuno Neves, Miguel Castro, Paulo Guedes |
| 1994 | Set-Linearizability. | Gil Neiger |
| 1994 | Using Belief to Reason about Cache Coherence. | Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan |
| 1994 | Knowledge, Timed Precedence and Clocks (Preliminary Report). | Yoram Moses, Ben Bloom |
| 1994 | The Impact of Synchronization on the Session Problem. | Marios Mavronicolas |
| 1994 | Uniform Actions in Asynchronous Distributed Systems (Extended Abstract). | Dalia Malki, Kenneth P. Birman, Aleta Ricciardi, Andr Schiper |
| 1994 | Proving Time Bounds for Randomized Distributed Algorithms. | Nancy A. Lynch, Isaac Saias, Roberto Segala |
| 1994 | Stabilizing Algorithms for Diagnosing Crash Failures. | Jeffery C. Line, Sukumar Ghosh |
| 1994 | A Performance Evaluation of Lock-Free Synchronization Protocols. | Anthony LaMarca |
| 1994 | Making Operations of Concurrent Data Types Fast. | Martha J. Kosa |
| 1994 | Self-Stabilizing Algorithms for Finding Centers and Medians of Trees. | Mehmet Hakan Karaata, Sriram V. Pemmaraju, Steven C. Bruell, Sukumar Ghosh |
| 1994 | On the Coding of Dependencies in Distributed Computations (Abstract). | Claude Jard, Guy-Vincent Jourdan |
| 1994 | Disjoint-Access-Parallel Implementations of Strong Shared Memory Primitives. | Amos Israeli, Lihu Rappoport |
| 1994 | Reconciliations. | John H. Howard, Shmuel Katz |
| 1994 | CoLa: A Coordination Language for Massive Parallelism. | Bat Hirsbrunner, Marc Aguilar, Oliver Krone |
| 1994 | Set Consensus Using Arbitrary Objects (Preliminary Version). | Maurice Herlihy, Sergio Rajsbaum |
| 1994 | Multimedia Networking: Applications and Challenges. | Inder S. Gopal |
| 1994 | The Virtual Path Layout Problem in Fast Networks (Extended Abstract). | Ornan Ori Gerstel, Shmuel Zaks |