20
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: not found

      A discipline for constructing multiphase communication protocols

      1 , 1 , 1
      ACM Transactions on Computer Systems
      Association for Computing Machinery (ACM)

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Many communication protocols can be observed to go through different phases performing a distinct function in each phase. A multiphase model for such protocols is presented. A phase is formally defined to be a network of communicating finite-state machines with certain desirable correctness properties; these include proper termination and freedom from deadlocks and unspecified receptions. A multifunction protocol is constructed by first constructing separate phases to perform its different functions. It is shown how to connect these phases together to realize the multifunction protocol so that the resulting network of communicating finite state machines is also a phase (i.e., it possesses the desirable properties defined for phases). The modularity inherent in multiphase protocols facilitates not only their construction but also their understanding and modification. An abundance of protocols have been found in the literature that can be constructed as multiphase protocols. Three examples are presented here: two versions of IBM's BSC protocol for data link control and a token ring network protocol.

          Related collections

          Most cited references28

          • Record: found
          • Abstract: not found
          • Article: not found

          Proofs of Networks of Processes

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Protocol Verification via Projections

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              On Communicating Finite-State Machines

                Bookmark

                Author and article information

                Journal
                ACM Transactions on Computer Systems
                ACM Trans. Comput. Syst.
                Association for Computing Machinery (ACM)
                0734-2071
                1557-7333
                November 1985
                November 1985
                : 3
                : 4
                : 315-343
                Affiliations
                [1 ]Department of Computer Sciences, University of Texas at Austin, Austin, TX
                Article
                10.1145/6110.214400
                eb5fe99d-2d01-41eb-8df2-c2312d38d91f
                © 1985
                History

                Molecular medicine,Neurosciences
                Molecular medicine, Neurosciences

                Comments

                Comment on this article

                scite_
                0
                0
                0
                0
                Smart Citations
                0
                0
                0
                0
                Citing PublicationsSupportingMentioningContrasting
                View Citations

                See how this article has been cited at scite.ai

                scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

                Similar content112

                Cited by1

                Most referenced authors78