ACM SIGCOMM Symposium 1986: Stowe, Vermont, USA

@proceedings{DBLP:conf/sigcomm/1986,
  title     = {Proceedings of the ACM SIGCOMM conference on Communications architectures
               {\&} protocols, 1986, Stowe, Vermont, United States    August
               5-7, 1986},
  booktitle = {SIGCOMM},
  publisher = {ACM},
  year      = {1986},
  isbn      = {0-89791-201-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• J. S. Foley, Y. Weon-Yoon:
  The current status of MAP. 6-12
  
• T. F. Paitkowski:
  The state of the art in protocol engineering. 13-18
  
• Simon S. Lam:
  Protocol conversion - correctness problems. 19-29
  
• K. Okumura:
  A formal protocol conversion method. 30-37
  
• Zahava Koren, Imrich Chlamtac, Aura Ganz:
  A model for evaluating demand assignment protocols with arbitrary workloads. 40-44
  
• Thien Vo-Dai:
  Implementing priorities in multiaccess protocols for optical fiber-based local area netorks. 45-51
  
• Eluzor Friedman, Chaim Ziegler:
  Real-time voice communications over a token-passing ring local area network. 52-57
  
• Vernon Rego:
  A comparison of two token-passing bus protocols. 58-66
  
• John T. Korb, Craig E. Wills:
  Command execution in a heterogeneous environment. 68-74
  
• Kevin Mills, Marnie Wheatley, S. Heatley:
  Prediction of transport protocol performance through simulation. 75-83
  
• A. U. Shankar:
  A verified sliding window protocol with variable flow control. 84-91
  
• H. Paul Lin:
  Modeling a transport layer protocol using first-order logic. 92-100
  
• J. van da Lagemaat, J. M. A. Daemen, Ignas G. Niemegeers:
  Voice transmission in a priority CSMA/AC LAN: an efficient protocol using hybrid switching. 102-110
  
• Suzanne M. Sharrock, Kurt Maly, Subbarao Ghanta, David Hung-Chang Du:
  A framed movable-boundry protocol for integrated voice/data in a LAN. 111-119
  
• Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè:
  Voice and data performance measurements in L-express net. 120-125
  
• L. Aguilar, J. J. Garcia-Luna-Aceves, Douglas B. Moran, Earl Craighill, R. Brungardt:
  An architecture for a multimedia teleconferencing system. 126-136
  
• Zamir Bavel, Jerzy W. Grzymala-Busse, Y. Hsia, R. Mancisidor-Landa:
  Tier automation representation of communication protocols. 138-147
  
• Gregor von Bochmann, Reinhard Gotzhein:
  Deriving protocol specifications from service specifications. 148-156
  
• C. V. Ramamoorthy, Yuh Yaw:
  A petri net reduction algorithm for protocol analysis. 157-166
  
• J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid:
  Structure of a LOTOS interpreter. 167-175
  
• Imrich Chlamtac, Aura Ganz:
  Frequency-time controlled (FTC) networks for high speed communication. 178-185
  
• Dieter Baum:
  Performance analysis of a satellite communications backchannel architecture. 186-193
  
• W. Edmond, S. Bumenthal, A. Echenique, S. Storch, T. Calderwood:
  The butterfly satellite IMP for the wideband packet satellite network. 194-203
  
• D. J. Faber, Guru M. Parulkar:
  A closer look at Noahnet. 204-213
  
• N. Liu, M. T. Liu:
  Conformity analysis for communication protocols. 216-226
  
• C. V. Ramamoorthy, Yuh Yaw, R. Aggarwal, J. Song:
  Synthesis of two-party error-recoverable protocols. 227-235
  
• Behçet Sarikaya:
  Formal specification-based conformance testing. 236-240
  
• Deborah Estrin:
  Inter-organization networks: implications of access control: requirements for interconnection protocol. 254-264
  
• Robert D. Sansom, Daniel P. Julin, Richard F. Rashid:
  Extending a capability based system into a network environment. 265-274
  
• B. Nguyen, R. Rom:
  Communication services under EMCON. 275-281
  
• M. Goodwin, Ken J. McDonell:
  Access control for network directory systems. 282-289
  
• S. R. Chandran:
  A selective repeat ARQ scheme for point-to-multipoint communications and its throughput analysis. 292-301
  
• Loren P. Clare:
  Control procedures for slotted Aloha systems that achieve stability. 302-309
  
• D. Tsai, J. Chang:
  A two-bit contention-based TDMA technique for data transmissions. 310-317
  
• D. Lee, K. Chon, C. Chung:
  A reliable datagram protocol on local area networks. 320-327
  
• Jonathan R. Agre:
  A message-based fault diagnosis procedure. 328-337
  
• K. K. Ramakrishnan:
  A model of file server performance for a heterogeneous distributed system. 338-347
  
• Anna Hác, Theodore Johnson:
  A study of dynamic load balancing in a distributed system. 348-356
  
• I. Arieh Cimet, Srikanta P. R. Kumar:
  A resilient distributed protocol for network synchronization. 358-367
  
• Bernd Walter:
  A turnable protocol for symmetric surveillance in distributed systems. 368-376
  
• Israel Cidon, Jeffrey M. Jaffe:
  Local distributed deadlock detection by knot detection. 377-384
  
• Brett D. Fleisch:
  Distributed system V IPC in LOCUS: a design and implementation retrospective. 386-396
  
• L. Zhang:
  Why TCP timers don't work well. 397-405
  
• David R. Cheriton:
  VMTP: a transport protocol for the next generation of communication systems. 406-415
  
• Hasan Ural, R. Short:
  An interactive test sequence generator. 541-550