| 1994 | A Recognize-and-Accuse Policy to Speed up Distributed Processes. | Alessandro Genco, Giuseppe Lo Re |
| 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 | A Characterization of Networks Supporting Linear Interval Routing. | Pierre Fraigniaud, Cyril Gavoille |
| 1994 | A Compositional Verification Method for LOTOS. | Hacne Fouchal, Ana R. Cavalli |
| 1994 | Observable Clock Synchronization (Extended Abstract). | Danny Dolev, Rdiger Reischuk, H. Raymond Strong |
| 1994 | Research Issues in Ubiquitous Computing. | Alan J. Demers |
| 1994 | Repeatable and Portable Message-Passing Programs. | Robert Cypher, Eric Leu |
| 1994 | The Formal Verification of an ATM Network. | Paul Curzon |
| 1994 | Resilience of General Interactive Tasks. | Benny Chor, Lee-Bath Nelson |
| 1994 | Dynamic Load Sharing Algorithm with a Weighted Load Representation. | Seung Ho Cho, Sang-Yong Han |
| 1994 | ENF Event Predicate Detection in Distributed Systems. | Hsien-Kuang Chiou, Willard Korfhage |
| 1994 | Wait-Freedom vs. t-Resiliency and the Robustness of Wait-Free Hierarchies. | Tushar Deepak Chandra, Vassos Hadzilacos, Prasad Jayanti, Sam Toueg |
| 1994 | A Combinatorial Treatment of Balancing Networks. | Costas Busch, Marios Mavronicolas |
| 1994 | Contention in Counting Networks. | Costas Busch, Nikos Hardavellas, Marios Mavronicolas |
| 1994 | PCODE: Efficient Parallel Computing over Distributed Environments. | Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Rimon Orni, H. Raymond Strong |
| 1994 | Wait-Freedom vs. Bounded Wait-Freedom in Public Data Structures (Extended Abstract). | Hagit Brit, Shlomo Moran |
| 1994 | Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). | Howard Bowman, John Derrick, Richard E. Jones |
| 1994 | Consistency and Conformance in ODP (Abstract). | Howard Bowman, John Derrick |
| 1994 | Consensus Power Makes (Some) Sense! (Extended Abstract). | Elizabeth Borowsky, Eli Gafni, Yehuda Afek |
| 1994 | Asynchronous Secure Computations with Optimal Resilience (Extended Abstract). | Michael Ben-Or, Boaz Kelmer, Tal Rabin |
| 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 Delat |
| 1994 | On the Use of Registers in Achieving Wait-Free Consensus. | Rida A. Bazzi, Gary L. Peterson |
| 1994 | A Gap Theorem for Consensus Types (Extended Abstract). | Rida A. Bazzi, Gary L. Peterson |