Abstract is missing.
- Parallel and configurable protocols: experiences with a prototype and an architectural frameworkBert Lindgren, Mostafa H. Ammar, Bobby Krupczak, Karsten Schwan. 6-13 [doi]
- Multiprotocol transport networking: a general internetworking solutionKathryn 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. 14-25 [doi]
- A highly parallelized architecture for a DQDB nodeLiitfullah Kusdemir, Semih Bilgen. 27-34 [doi]
- Verifying authentication protocols: methodology and exampleThomas Y. C. Woo, Simon S. Lam. 36-45 [doi]
- Modulo-N incarnation numbers for cache-based transport protocolsA. Udaya Shankar, David Lee. 46-54 [doi]
- Modularization of a specification in LOTOSKentaro Go, Norio Shiratori. 55-62 [doi]
- A CLNP-based protocol for mobile end systems within an areaRieko Tanaka, Masahiko Tsukamoto. 64-71 [doi]
- An approach to hierarchical inter-domain routing with on-demand ToS and policy resolutionCengiz Alaettinoglu, A. Udaya Shankar. 72-79 [doi]
- An architecture for virtual circuit/QoS routingAlvaro Guillen, Ramin Najmabadi Kia, Bernard Sales. 80-87 [doi]
- Beyond layering: modularity considerations for protocol architecturesKenneth L. Calvert. 90-97 [doi]
- A compositional approach for designing protocolsGurdip Singh. 98-105 [doi]
- Modules as building blocks for protocol configurationThomas Plagemann, Martin Vogt, Bernhard Plattner, Thomas Walter. 106-113 [doi]
- The FCVC (flow-controlled virtual channels) proposal for ATM networks: a summaryH. T. Kung, Alan Chapman. 116-127 [doi]
- Service specific connection oriented protocol for the ATM adaptation layerNaotaka Morita, Ichiro Inoue, Michiharu Mito, Takeshi Akaike. 128-135 [doi]
- The generic flow control (GFC) protocol: a performance assessmentY. Chang, D. Su, Shukri Wakid, Xiaomei Qian, Dhadesugoor Vaman. 136-147 [doi]
- A note on communicating machines with identical symmetrical and dual processes using rewriting systemsHassan Mountassir. 150-157 [doi]
- Decidability issues in reduced reachability analysisLeo Cacciari, Omar Rafiq. 158-165 [doi]
- On Petri nets and self-stabilization of communication protocolsWuxu Peng. 166-174 [doi]
- A congestion notification technique for SMDS networksP. Havala, H. Kaur, M. Sosa, Mehmet Ulema. 178-185 [doi]
- Adaptive rate-based congestion control versus TCP-SS: a performance comparisonRong-Feng Chang, Lap Huynh, James Gray. 186-197 [doi]
- Flow theory: Verification of rate-reservation protocolsJorge Arturo Cobb, Mohamed G. Gouda. 198-205 [doi]
- Reverse-engineering of communication protocolsDavid Lee, Krishan K. Sabnani. 208-216 [doi]
- Generating maximal fault coverage conformance test sequences of reduced length for communication protocolsRaymond E. Miller, Sanjoy Paul. 217-224 [doi]
- Automatic test case generation for EstelleChang-Jia Wang, Ming T. Liu. 225-232 [doi]
- Improved randomized broadcast protocols in multi-hop radio networksChungki Lee, James E. Burns, Mostafa H. Ammar. 234-241 [doi]
- A multicast mechanism with ordering on overlapping groupsXiaohua Jia, Shirley Y. So. 242-249 [doi]
- Consistency algorithms for optimistic replicationRichard G. Guy, Gerald J. Popek, Thomas W. Page Jr.. 250-261 [doi]
- Galileo: A tool for simulation and analysis of real-time networksEdward W. Knightly, Giorgio Ventre. 264-271 [doi]
- Mushroom: a program for the automated verification of an SCM protocol specificationGilbert M. Lundy, Berna Bülbül. 272-279 [doi]
- From formal specification to implementation: experience with protocol toolsThomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh. 280-288 [doi]
- Enhancing SCI's fairness protocol for increased throughputDan Picker, Ronald D. Fellman, Paul M. Chau. 292-299 [doi]
- On token protocols for high-speed multiple-ring networksWlodzimierz Dobosiewicz, Pawel Gburzynski. 300-307 [doi]
- An optical network interface unit for multichannel ring networksFrancis Reichmeyer, Salim Hariri, Wang Song, Kamal Jabbour. 308-315 [doi]
- Hierarchy-based incremental analysis of communication protocolsKuo-Chung Tai, Pramod V. Koppol. 318-325 [doi]
- An Estelle interpreter for incremental protocol verificationChung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang. 326-333 [doi]
- Verifying Estelle specifications: numerical Petri nets approachAjin Jirachiefpattana, Richard Lai. 334-341 [doi]
- Routing and congestion control in ATM networksVladimir Marbukh. 344-349 [doi]
- A novel neural network traffic descriptor for ATM networksAhmed A. Tarraf, Ibrahim W. Habib, Tarek N. Saadawi. 350-357 [doi]
- An approach to evaluating the performance of communication protocols based on formal specificationsSijian Zhang, Samuel T. Chanson. 358-366 [doi]
- A framework for interoperability testing of network protocolsJadranka Alilovic-Curgus, Son T. Vyong. 376-383 [doi]
- Language-based analysis of communicating finite state machinesJan Huus, Hasan Ural. 384-393 [doi]