| 1993 | 1993 International Conference on Network Protocols, ICNP 1993, San Francisco, CA, USA, October 19-22, 1993, Proceedings |
| 1993 | A CLNP-based protocol for mobile end systems within an area. Rieko Tanaka, Masahiko Tsukamoto |
| 1993 | A compositional approach for designing protocols. Gurdip Singh |
| 1993 | A congestion notification technique for SMDS networks. P. Havala, H. Kaur, M. Sosa, Mehmet Ulema |
| 1993 | A framework for interoperability testing of network protocols. Jadranka Alilovic-Curgus, Son T. Vuong |
| 1993 | A highly parallelized architecture for a DQDB node. Liitfullah Kusdemir, Semih Bilgen |
| 1993 | A multicast mechanism with ordering on overlapping groups. Xiaohua Jia, Shirley Y. So |
| 1993 | A note on communicating machines with identical symmetrical and dual processes using rewriting systems. Hassan Mountassir |
| 1993 | A novel neural network traffic descriptor for ATM networks. Ahmed A. Tarraf, Ibrahim W. Habib, Tarek N. Saadawi |
| 1993 | Adaptive rate-based congestion control versus TCP-SS: a performance comparison. Rong-Feng Chang, Lap Huynh, James Gray |
| 1993 | An Estelle interpreter for incremental protocol verification. Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang |
| 1993 | An approach to evaluating the performance of communication protocols based on formal specifications. Sijian Zhang, Samuel T. Chanson |
| 1993 | An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution. Cengiz Alaettinoglu, A. Udaya Shankar |
| 1993 | An architecture for virtual circuit/QoS routing. Alvaro Guillen, Ramin Najmabadi Kia, Bernard Sales |
| 1993 | An optical network interface unit for multichannel ring networks. Francis Reichmeyer, Salim Hariri, Wang Song, Kamal Jabbour |
| 1993 | Automatic test case generation for Estelle. Chang-Jia Wang, Ming T. Liu |
| 1993 | Beyond layering: modularity considerations for protocol architectures. Kenneth L. Calvert |
| 1993 | Consistency algorithms for optimistic replication. Richard G. Guy, Gerald J. Popek, Thomas W. Page Jr. |
| 1993 | Decidability issues in reduced reachability analysis. Leo Cacciari, Omar Rafiq |
| 1993 | Enhancing SCI's fairness protocol for increased throughput. Dan Picker, Ronald D. Fellman, Paul M. Chau |
| 1993 | Flow theory: Verification of rate-reservation protocols. Jorge Arturo Cobb, Mohamed G. Gouda |
| 1993 | From formal specification to implementation: experience with protocol tools. Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh |
| 1993 | Galileo: A tool for simulation and analysis of real-time networks. Edward W. Knightly, Giorgio Ventre |
| 1993 | Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. Raymond E. Miller, Sanjoy Paul |
| 1993 | Hierarchy-based incremental analysis of communication protocols. Kuo-Chung Tai, Pramod V. Koppol |
| 1993 | Improved randomized broadcast protocols in multi-hop radio networks. Chungki Lee, James E. Burns, Mostafa H. Ammar |
| 1993 | Language-based analysis of communicating finite state machines. Jan Huus, Hasan Ural |
| 1993 | Modularization of a specification in LOTOS. Kentaro Go, Norio Shiratori |
| 1993 | Modules as building blocks for protocol configuration. Thomas Plagemann, Martin Vogt, Bernhard Plattner, Thomas Walter |
| 1993 | Modulo-N incarnation numbers for cache-based transport protocols. A. Udaya Shankar, David Lee |
| 1993 | Multiprotocol transport networking: a general internetworking solution. Kathryn Britton, Wen-Shyen E. Chen, Tein-Yaw D. Chung, Allan K. Edwards, Johny Mathew, Diane Pozefsky, Soumitra Sarkar, Roger Turner, Willibald A. Doeringer, Douglas Dykeman |
| 1993 | Mushroom: a program for the automated verification of an SCM protocol specification. Gilbert M. Lundy, Berna Bülbül |
| 1993 | On Petri nets and self-stabilization of communication protocols. Wuxu Peng |
| 1993 | On token protocols for high-speed multiple-ring networks. Wlodzimierz Dobosiewicz, Pawel Gburzynski |
| 1993 | Parallel and configurable protocols: experiences with a prototype and an architectural framework. Bert Lindgren, Mostafa H. Ammar, Bobby Krupczak, Karsten Schwan |
| 1993 | Probabilistic conformance testing of protocols with unobservable transitions. Steven H. Low |
| 1993 | Reverse-engineering of communication protocols. David Lee, Krishan K. Sabnani |
| 1993 | Routing and congestion control in ATM networks. Vladimir Marbukh |
| 1993 | Service specific connection oriented protocol for the ATM adaptation layer. Naotaka Morita, Ichiro Inoue, Michiharu Mito, Takeshi Akaike |
| 1993 | The FCVC (flow-controlled virtual channels) proposal for ATM networks: a summary. H. T. Kung, Alan Chapman |
| 1993 | The generic flow control (GFC) protocol: a performance assessment. Yoon Chang, David H. Su, Shukri Wakid, Xiaomei Qian, Dhadesugoor Vaman |
| 1993 | Verifying Estelle specifications: numerical Petri nets approach. Ajin Jirachiefpattana, Richard Lai |
| 1993 | Verifying authentication protocols: methodology and example. Thomas Y. C. Woo, Simon S. Lam |