• DocumentCode
    1862204
  • Title

    A formal model for protocol interworking in ISDN

  • Author

    Lin, Fuchun Joseph ; Liu, Ming T.

  • Author_Institution
    Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
  • fYear
    1988
  • fDate
    12-15 June 1988
  • Firstpage
    107
  • Abstract
    The authors propose a formal model as the the basis to study protocol interworking in ISDN. The interworking of protocols is formally modeled by interactions among networks of communicating finite-state machines (CFSMs). The interactions that may occur in ISDN are then described and defined through two protocol interworking operators: concentration and overlap.<>
  • Keywords
    ISDN; protocols; ISDN; communicating finite-state machines; concentration; formal model; overlap; protocol interworking; Automata; Contracts; ISDN; Information science; Intelligent networks; Protocols;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Communications, 1988. ICC '88. Digital Technology - Spanning the Universe. Conference Record., IEEE International Conference on
  • Conference_Location
    Philadelphia, PA, USA
  • Type

    conf

  • DOI
    10.1109/ICC.1988.13544
  • Filename
    13544
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1862204