Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986.
ACM 1986, ISBN 0-89791-201-2 
- 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
Last update Wed May 22 16:31:05 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
