Computer Communication Review (ACM SIGCOMM), Volume 14

Volume 14, Number 2, June 1984

• Ian M. Leslie, Roger M. Needham, John W. Burren, Graham C. Adams:
  The architecture of the universe network. 2-9
  Electronic Edition (ACM DL) BibTeX
• Christopher S. Cooper:
  Managed file distribution on the universe network. 10-17
  Electronic Edition (ACM DL) BibTeX
• A. Gill Waters, Christopher J. Adams:
  The satellite transmission protocol of the universe project. 18-24
  Electronic Edition (ACM DL) BibTeX
• John G. Fletcher:
  Serial link protocol design: A critique of the X.25 standard, level 2. 26-33
  Electronic Edition (ACM DL) BibTeX
• Richard Chung:
  A methodology for protocol design and specification based on an extended state transition model. 34-41
  Electronic Edition (ACM DL) BibTeX
• Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam:
  An exercise in constructing multi-phase communication protocols. 42-49
  Electronic Edition (ACM DL) BibTeX
• A. Gill Waters, Christopher J. Adams, Ian M. Leslie, Roger M. Needham:
  The use of broadcast techniques on the universe network. 52-57
  Electronic Edition (ACM DL) BibTeX
• Lorenzo Aguilar:
  Datagram routing for internet multicasting. 58-63
  Electronic Edition (ACM DL) BibTeX
• David R. Cheriton, Willy Zwaenepoel:
  One-to-many interprocess communication in the V-system. 64
  Electronic Edition (ACM DL) BibTeX
• Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres:
  Petri nets are good for protocols. 66-74
  Electronic Edition (ACM DL) BibTeX
• Wolfgang Jürgensen, Son T. Vuong:
  Formal specification and validation of ISO transport protocol components, using petri nets. 75-82
  Electronic Edition (ACM DL) BibTeX
• Heiko Krumm, Oswald Drobnik:
  Interactive verification of communication software on the basis of CIL. 92-99
  Electronic Edition (ACM DL) BibTeX
• Ana R. Cavalli:
  A method of automatic proof for the specification and verification of protocols. 100-106
  Electronic Edition (ACM DL) BibTeX
• Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo:
  A temporal ordering specification of some session services. 107-114
  Electronic Edition (ACM DL) BibTeX
• Keith A. Lantz, William I. Nowicki, Marvin Theimer:
  Factors affecting the performance of distributed applications. 116-123
  Electronic Edition (ACM DL) BibTeX
• C. Murray Woodside, J. R. Montealegre, Raymond J. A. Buhr:
  A performance model for hardware/software issues in computer-aided design of protocol systems. 132-139
  Electronic Edition (ACM DL) BibTeX
• Jeffrey M. Jaffe, Adrian Segall:
  Automatic update of replicated topology data bases. 142-148
  Electronic Edition (ACM DL) BibTeX
• Hasan Ural, Robert L. Probert:
  Automated testing of protocol specifications and their implementations. 149-155
  Electronic Edition (ACM DL) BibTeX
• Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton:
  Some operational tools in a OSI protocols study environment. 156-161
  Electronic Edition (ACM DL) BibTeX
• Niels Nørup Pedersen, Robin Sharp:
  Analysis of channel access schemes for high-speed LANs. 164-171
  Electronic Edition (ACM DL) BibTeX
• J.-P. Behr, Ulrich Killat:
  Performance analysis of an access method suitable for the integration of voice and data. 172-177
  Electronic Edition (ACM DL) BibTeX
• Ignas G. Niemegeers, Chris A. Vissers:
  Twentenet: A LAN with message priorities, design and performance considerations. 178-185
  Electronic Edition (ACM DL) BibTeX
• Radu Popescu-Zeletin:
  Some critical considerations on the ISO/OSI RM from a network implementation point of view. 188-194
  Electronic Edition (ACM DL) BibTeX
• M. F. Dolan:
  A minimal duplex connection capability in the top three layers of the OSI reference model. 195-200
  Electronic Edition (ACM DL) BibTeX
• Kurt Rothermel:
  Communication primitives supporting the execution of atomic actions at remote sites. 201-208
  Electronic Edition (ACM DL) BibTeX
• Rami R. Razouk:
  The derivation of performance expressions for communication protocols from timed petri net models. 210-217
  Electronic Edition (ACM DL) BibTeX
• Douglas B. Terry:
  An analysis of naming conventions for distributed computer systems. 218-224
  Electronic Edition (ACM DL) BibTeX
• Alexander Thomasian, Paul F. Bay:
  Analytic solution of an integrated performance model of a computer communication network with window flow control. 225-232
  Electronic Edition (ACM DL) BibTeX
• Panos Economopoulos, Mart L. Molle:
  On the performance of slotted ALOHA in a spread spectrum environment. 234-241
  Electronic Edition (ACM DL) BibTeX
• D. P. Gerakoulis, Tarek N. Saadawi, Donald L. Schilling:
  A class of tree algorithms with variable message length. 242-247
  Electronic Edition (ACM DL) BibTeX
• Stephen William Edge:
  An adaptive timeout algorithm for retransmission across a packet switching network. 248-255
  Electronic Edition (ACM DL) BibTeX
• Robert P. Blanc:
  Protocol testing methdology development at NBS. 258
  Electronic Edition (ACM DL) BibTeX
• Eduard Cerny:
  Some issues in protocol implementation testing. 259-260
  Electronic Edition (ACM DL) BibTeX
• E. Douglas Jensen:
  Physically dispersing an operating system. 261
  Electronic Edition (ACM DL) BibTeX
• Marvin H. Solomon:
  Multiprocessors and computer networks. 262-263
  Electronic Edition (ACM DL) BibTeX