%A Richard DesJardins %T ISO Open Systems Interconnection standardization status report %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 4-5 %A Gregory Ennis %T Development of the DoD protocol reference model %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 6-7 %A Lawrence Garlick %T Evolution of Xerox's Network Systems Architecture %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 8-9 %A Gregir V. Bochmann %T Higher-level protocols ate not necessarily end-to-end %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 10-11 %A Marjory J. Johnson %T Analysis of routing table update activity after resource failure in a distributed computer network %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 14-20 %A E.M. Gafni %A D.P. Bertsekas %T Path assignment for virtual circuit routing %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 21-25 %A Benedetto L. Di\ Vito %T Mechanical verification of a data transport protocol %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 26-37 %A A. Udaya Shankar %A Simon S. Lam %T Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 38-48 %A Son T. Vuong %A Donald D. Cowan %T Reachability analysis of protocols with FIFO channels %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 49-57 %A K.L Cohen %A R.P. Levy %T X.25 implementation: the untold story %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 60-64 %A H. Richard Liu %T A layered architecture for a programmable data network (abstract only) %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 65 %A M.G. Gouda %A Y.T. Yu %T Maximal progress state exploration %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 68-75 %A Christos N. Nikolaou %A Edmund M. Clarke,\ Jr. %A Nissim Francez %A Stephen A. Schuman %T A methodology for verifying request processing protocols %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 76-83 %A Marty Ossefort %T Proving safety properties for a general communication protocol %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 84-91 %A Mauricio Arango %A David Gelernter %A Hussein Badr %A Arthur J. Bernstein %T Staged circuit switching for network computers %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 94-100 %A Abdelfettah Belghith %A Leonard Kleinrock %T A distributed routing system with mobility handling in stationless multi-hop packet radio networks %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 101-108 %A J.P. Ansart %A V. Chari %A M. Neyer %A O. Rafiq %A D. Simon %T Description, simulation and implementation of communication protocols using PDIL %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 112-120 %A Behcet Sarikaya %A Gregor V. Bochmann %T Synchronization issues in protocol systems %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 121-128 %A K.S. Raghunathan %A J.A. Barchanski %A G.V. Bochmann %T Relationship between performance parameters for transport and network services %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 129-135 %A Peter J. Denning %A Anthony Hearn %A C. William Kern %T History and overview of CSNET %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 138-145 %A L. Landweber %A M. Litzkov %A D. Newhengen %A M. Solomon %T Architecture of the CSNET name server %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 146-153 %A Douglas Comer %A John T. Korb %T CSNET protocol software: the IP-to-X.25 interface %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 154-159 %A Kiyoshi Maruyama %A David Shorter %T Dynamic route selection algorithms for session based communications networks %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 162-169 %A M.Y. Elsanadidi %A Wesley W. Chu %T Simulation studies of the behaviour of multihop broadcast networks %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 170-177 %A Timothy A. Gonsalves %T Packet-vioce communication on an Ethernet local computer network: an experimental study %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 178-185 %A Lui Sha %A Douglas Jensen %A Richard F. Rashid %A J. Duane Northcutt %T Distributed co-operating processes and transactions %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 188-196 %A G.J. Battarel %A H.F. Savary %T Interprocess communication system of the MT35 digital exchange %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 197-204 %A Hideyuki Tokuda %A Eric G. Manning %T An interprocess communication model for a distributed software testbed %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 205-212 %A Mart L. Molle %T Asynchronous multiple access tree algorithms %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 214-218 %A Luigi Fratta %T An improved access protocol for data communication: bus networks with control "wire" %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 219-225 %A Maneesh Mehta %A Jon W. Mark %T Acknowledging DSMA with priority scheduling for local area networks %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 226-231 %A A. Grant %A D. Hutchinson %A W.D. Shepherd %T A gateway for linking local area networks and X.25 networks %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 234-239 %A Warwick S. Ford %T Portable implementation of network architecture layers %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 240-245 %A K.V.S. Rao %T X.25 interface to MARKLINK terminal %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 246-253 %A R. Braden %A R. Cole %A P. Higginson %A P. Lloyd %T A distributed approach to the interconnection of heterogeneous computer networks %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 254-259 %A Yechiam Yemini %T A bang-bang principle for real-time transport protocols %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 262-268 %A S.I. Marcus %A G.J. Lipovski %T Lookahead network priority protocols %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 269-274 %A Michael K. Molloy %T Character delays in simple X.3 PAD devices %J Proceedings of the SIGCOMM '83 Symposium on Communications Architectures and Protocols %C Austin, Texas %D March 1983 %O published as SIGCOMM Computer Communication Review 13:2 %K commap commap83 %P 275-279 %A Ian M. Leslie %A Roger M. Needham %A John W. Burren %A Graham C. Adams %T The architecture of the Universe network %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 2-9 %A Christopher S. Cooper %T Managed file distribution on the Universe network %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 10-17 %A A. Gillian Waters %A Christopher J. Adams %T The satellite transmission protocol of the Universe project %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 18-24 %A John G. Fletcher %T Serial link protocol design: a critique of the X.25 standard, level 2 %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 26-33 %A Richard Chung %T A methodology for protocol design and specification based on an extended state transition model %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 34-41 %A C.H. Chow %A M.G. Gouda %A S.S. Lam %T An exercise in constructing multi-phase communication protocols %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 42-49 %A A. Gillian Waters %A Christopher J. Adams %A Ian M. Leslie %A Roger M. Needham %T The use of broadcast techniques on the Universe network %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 52-57 %A Lorenzo Aguilar %T Datagram routing for Internet multicasting %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 58-63 %A David R. Cheriton %A Willy Zwaenpoel %T One-to-many interprocess communication in the V-system (abstract only) %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 64 %A J.P. Courtiat %A J.M. Ayache %A B. Algayres %T Petri nets are good for protocols %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 66-74 %A Wolfgang Jurgensen %A Son T. Vuong %T Formal specification and validation of ISO transport protocol components, using Petri nets %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 75-82 %A Deepinder P. Sidhu %A Thomas P. Blumer %T Automated verification of connection management of NBS class 4 transport protocol %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 83-89 %A H. Krumm %A P. Drobnik %T Interactive verification of communication software %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 92-99 %A Ana R. Cavalli %T A method of automatic proof for the specification and verification of protocols %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 100-106 %A Vincenza Carchiolo %A Alberto Faro %A Giuseppe Scollo %T A temporal ordering specification of some session services %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 107-114 %A Keith A. Lantz %A William I. Nowicki %A Marvin M. Theimer %T Factors affecting the performance of distributed applications %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 116-123 %A Jose Nabielsky %T Interfacing to the 10Mbps Ethernet: observations and conclusions %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 124-131 %A C.M. Woodside %A P. Montealegre %A R.J.A. Buhr %T A performance model for hardware/software issues in computer-aided design of protocol systems %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 132-139 %A Jeffrey M. Jaffe %A Adrian Segall %T Automatic update of replicated topology data bases %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 142-148 %A H. Ural %A R.L. Probert %T Automated testing of protocol specifications and their implementations %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 149-155 %A J.P. Ansart %A D. Rafiq %A R. Castanet %A P. Guitton %T Some operational tools in a OSI protocols study environment %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 156-161 %A Niels Norup Pederson %A Robin Sharp %T Analysis of channel access schemes for high-speed LANs %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 164-171 %A J.-P. Behr %A U. Killat %T Performance analysis of an access method suitable for the integration of voice and data %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 172-177 %A I.G. Niemegeers %A C.A. Vissers %T TWENTENET: a LAN with message priorities, design and performance considerations %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 178-185 %A R. Popescu-Zeletin %T Some critical considerations on the ISO/OSI RM from a network implementation point of view %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 188-194 %A M.F. Dolan %T A minimal duplex connection capability in the top three layers of the OSI reference model %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 195-200 %A Kurt Rothermel %T Communication primitives supporting the execution of atomic actions at remote sites %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 201-208 %A Rami R. Razouk %T The derivation of performance expressions for communication protocols from timed Petri net models %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 210-217 %A Douglas H. Terry %T An analysis of naming conventions for distributed computer systems %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 218-224 %A Alexander Thomasian %A Paul Bay %T Analytic solution of an integrated performance model of a computer communication network with window flow control %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 225-232 %A Panos Economopoulos %A Mark L. Molle %T On the performance of slotted Aloha in a spread spectrum environment %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 234-241 %A D.P. Gerakoulis %A T.N. Saadawi %A D.L. Schilling %T A class of tree algorithms with variable message length %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 242-247 %A Stephen William Edge %T An adaptive timeout algorithm for retransmission across a packet switching network %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 248-255 %A Robert O. Blanc %T Protocol testing ME development at NBS %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 258 %A E. Cerny %T Some issues in protocol implementation testing %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 259-260 %A E. Douglas Jensen %T Physically dispersing an operating system %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 261 %A Marvin Solomon %T Multiprocessors and computer networks %J Proceedings of the SIGCOMM '84 Symposium on Communications Architectures and Protocols %C Montreak, Quebec %D June 1984 %O published as SIGCOMM Computer Communication Review 14:2 %K commap commap84 %P 262-263