Abstract is missing.
- Multicast transport protocols for high speed networksSanjoy Paul, Krishan K. Sabnani, David M. Kristol. 4-14 [doi]
- DUALCAST: a scheme for reliable multicastingSudhir Aggarwal, Amritansh Raghav. 15-22 [doi]
- Elements of trusted multicastingLi Gong, Nachum Shacham. 23-30 [doi]
- Throughput efficiency of a link management procedure for LEO satellite systemsChristopher Ward, Sujata Mitra, Thomas M. Phillips. 32-39 [doi]
- An iterative approach to comprehensive performance evaluation of integrated services networksIbrahim Matta, A. Udaya Shankar. 40-47 [doi]
- Automatic retransmission rather than automatic repeat requestAbdulaziz H. Al-Zoman, John DeDourek, Bernd Kurz. 48-55 [doi]
- Stutter XOR strategies: a new class of multicopy ARQ strategiesM. Aghadavoodi Jolfaei. 56-62 [doi]
- Test path selection based on effective domainsLiang-Seng Koh, Ming T. Liu. 64-71 [doi]
- Automated generation of protocol test sequences from formal specificationsGilbert M. Lundy, C. Basaran. 72-79 [doi]
- Design, verification and implementation of an authentication protocolThomas Y. C. Woo, Simon S. Lam. 81-90 [doi]
- The ID-based non-interactive group communication key sharing scheme using smart cardsHiroyuki Sakakibara, Kazunori Seki, Ken-ichi Okada, Yutaka Matsushita. 91-98 [doi]
- Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problemsHong Liu, Raymond E. Miller. 100-107 [doi]
- Specification and validation of communications in client/server modelsF. Joe Lin. 108-116 [doi]
- Symbolic simulation: theory and application to protocol modeling and validationRitu Chadha, Isil Sebüktekin. 117-125 [doi]
- Single-link and time communicating finite state machinesWuxu Peng. 126-133 [doi]
- Stepwise telecommunication software generation from service specifications in state transition modelAkira Takura, Tadashi Ohta. 135-142 [doi]
- Automated synthesis of protocol specifications with message collisions and verification of timelinessYoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno. 143-150 [doi]
- On the construction of multiphase communication protocolsGurdip Singh, Madhavi Sammeta. 151-158 [doi]
- A design method for communications software evolutionHironobu Okuyama, Kenji Moriyasu, Yutaka Hirakawa. 160-167 [doi]
- The Totem protocol development environmentP. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal. 168-177 [doi]
- Formalizations and algorithms for optimized parallel protocol implementationStefan Leue, Philippe Oechslin. 178-185 [doi]
- Multi-rate traffic shaping and end-to-end performance guarantees in ATM networksDebanjan Saha, Sarit Mukherjee, Satish K. Tripathi. 188-195 [doi]
- A simulation study of the impact of mobility on TCP/IPPietro Manzoni, Dipak Ghosal, Giuseppe Serazzi. 196-203 [doi]
- Distributed synchronization protocols for multimedia services on InternetZafar Ali, Miae Woo, Arif Ghafoor. 204-211 [doi]
- Selective total-ordering group communication on single high-speed channelTakayuki Tachikawa, Makoto Takizawa. 212-219 [doi]
- Fault-tolerant reconfiguration of trees and rings in networksAnish Arora, Ashish Singhai. 221-228 [doi]
- Fault-tolerant convergence routingBülent Yener, Inderpal S. Bhandari, Yoram Ofek, Moti Yung. 229-238 [doi]
- Dynamics of token ring protocolsJohn G. Waclawsky, Mahendran Velauthapillai. 239-246 [doi]