default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

Currently Not Available

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

Currently Not Available

• 
  Arthur R. Pope:
  Encoding CCITT X.409 presentation transfer syntax. 4-10
• 
  John Nagle:
  Congestion control in IP/TCP internetworks. 11-17
• 
  Scott A. Stein:
  The ISO connectionless transport standards. 18-20
• 
  Protocol for providing the connectionless-mode transport service utilizing the connectionless-mode network service or the connection oriented network service. 34-45
• 
  A. Lyman Chapin:
  Computer communication standards. 46-52

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-12-04 01:29 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: