| 1994 | 1994 International Conference on Network Protocols, ICNP 1994, Boston, MA, USA, October 25-28, 1994, Proceedings |
| 1994 | A design method for communications software evolution. Hironobu Okuyama, Kenji Moriyasu, Yutaka Hirakawa |
| 1994 | A simulation study of the impact of mobility on TCP/IP. Pietro Manzoni, Dipak Ghosal, Giuseppe Serazzi |
| 1994 | An iterative approach to comprehensive performance evaluation of integrated services networks. Ibrahim Matta, A. Udaya Shankar |
| 1994 | Automated generation of protocol test sequences from formal specifications. Gilbert M. Lundy, C. Basaran |
| 1994 | Automated synthesis of protocol specifications with message collisions and verification of timeliness. Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno |
| 1994 | Automatic retransmission rather than automatic repeat request. Abdulaziz H. Al-Zoman, John DeDourek, Bernd Kurz |
| 1994 | DUALCAST: a scheme for reliable multicasting. Sudhir Aggarwal, Amritansh Raghav |
| 1994 | Design, verification and implementation of an authentication protocol. Thomas Y. C. Woo, Simon S. Lam |
| 1994 | Distributed synchronization protocols for multimedia services on Internet. Zafar Ali, Miae Woo, Arif Ghafoor |
| 1994 | Dynamics of token ring protocols. John G. Waclawsky, Mahendran Velauthapillai |
| 1994 | Elements of trusted multicasting. Li Gong, Nachum Shacham |
| 1994 | Fault-tolerant convergence routing. Bülent Yener, Inderpal S. Bhandari, Yoram Ofek, Moti Yung |
| 1994 | Fault-tolerant reconfiguration of trees and rings in networks. Anish Arora, Ashish Singhai |
| 1994 | Formalizations and algorithms for optimized parallel protocol implementation. Stefan Leue, Philippe Oechslin |
| 1994 | Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. Hong Liu, Raymond E. Miller |
| 1994 | Multi-rate traffic shaping and end-to-end performance guarantees in ATM networks. Debanjan Saha, Sarit Mukherjee, Satish K. Tripathi |
| 1994 | Multicast transport protocols for high speed networks. Sanjoy Paul, Krishan K. Sabnani, David M. Kristol |
| 1994 | On the construction of multiphase communication protocols. Gurdip Singh, Madhavi Sammeta |
| 1994 | Selective total-ordering group communication on single high-speed channel. Takayuki Tachikawa, Makoto Takizawa |
| 1994 | Single-link and time communicating finite state machines. Wuxu Peng |
| 1994 | Specification and validation of communications in client/server models. F. Joe Lin |
| 1994 | Stepwise telecommunication software generation from service specifications in state transition model. Akira Takura, Tadashi Ohta |
| 1994 | Stutter XOR strategies: a new class of multicopy ARQ strategies. M. Aghadavoodi Jolfaei |
| 1994 | Symbolic simulation: theory and application to protocol modeling and validation. Ritu Chadha, Isil Sebüktekin |
| 1994 | Test path selection based on effective domains. Liang-Seng Koh, Ming T. Liu |
| 1994 | The ID-based non-interactive group communication key sharing scheme using smart cards. Hiroyuki Sakakibara, Kazunori Seki, Ken-ichi Okada, Yutaka Matsushita |
| 1994 | The Totem protocol development environment. P. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal |
| 1994 | Throughput efficiency of a link management procedure for LEO satellite systems. Christopher Ward, Sujata Mitra, Thomas M. Phillips |