| 1993 | Verifying Estelle specifications: numerical Petri nets approach. | Ajin Jirachiefpattana, Richard Lai |
| 1993 | A multicast mechanism with ordering on overlapping groups. | Xiaohua Jia, Shirley Y. So |
| 1993 | Language-based analysis of communicating finite state machines. | Jan Huus, Hasan Ural |
| 1993 | An Estelle interpreter for incremental protocol verification. | Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang |
| 1993 | A congestion notification technique for SMDS networks. | P. Havala, H. Kaur, M. Sosa, Mehmet Ulema |
| 1993 | Consistency algorithms for optimistic replication. | Richard G. Guy, Gerald J. Popek, Thomas W. Page Jr. |
| 1993 | An architecture for virtual circuit/QoS routing. | Alvaro Guillen, Ramin Najmabadi Kia, Bernard Sales |
| 1993 | Modularization of a specification in LOTOS. | Kentaro Go, Norio Shiratori |
| 1993 | On token protocols for high-speed multiple-ring networks. | Wlodzimierz Dobosiewicz, Pawel Gburzynski |
| 1993 | Flow theory: Verification of rate-reservation protocols. | Jorge Arturo Cobb, Mohamed G. Gouda |
| 1993 | The generic flow control (GFC) protocol: a performance assessment. | Yoon Chang, David H. Su, Shukri Wakid, Xiaomei Qian, Dhadesugoor Vaman |
| 1993 | Adaptive rate-based congestion control versus TCP-SS: a performance comparison. | Rong-Feng Chang, Lap Huynh, James Gray |
| 1993 | Beyond layering: modularity considerations for protocol architectures. | Kenneth L. Calvert |
| 1993 | Decidability issues in reduced reachability analysis. | Leo Cacciari, Omar Rafiq |
| 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 | From formal specification to implementation: experience with protocol tools. | Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh |
| 1993 | A framework for interoperability testing of network protocols. | Jadranka Alilovic-Curgus, Son T. Vuong |
| 1993 | An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution. | Cengiz Alaettinoglu, A. Udaya Shankar |