Accession Number : ADA087623


Title :   Distributed Network Protocols


Descriptive Note : Technical rept.


Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR INFORMATION AND DECISION SYSTEMS


Personal Author(s) : Segall, Adrian


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a087623.pdf


Report Date : Jul 1980


Pagination or Media Count : 54


Abstract : A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path and path updating are described and validated. All protocols are extended to networks with changing topology. (Author)


Descriptors :   *COMMUNICATIONS NETWORKS , *COMPUTER COMMUNICATIONS , *COMPUTER PROGRAM VERIFICATION , CHANNELS , COST ANALYSIS , MATHEMATICAL MODELS , MESSAGE PROCESSING , QUEUEING THEORY , SET THEORY , TOPOLOGY


Subject Categories : Computer Programming and Software
      Non-radio Communications


Distribution Statement : APPROVED FOR PUBLIC RELEASE