Formal model for protocol interworking in ISDN.

Fuchun Lin; Ming T. Liu

doi:10.1109/ICC.1988.13544

Formal model for protocol interworking in ISDN.

Fuchun Lin^*
, Ming T. Liu

^*Corresponding author for this work

Institute of Network Engineering

Research output: Contribution to conference › Paper › peer-review

8 Scopus citations

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: concatenation and overlap.

Original language	English
Pages	107-113
Number of pages	7
DOIs	https://doi.org/10.1109/ICC.1988.13544
State	Published - 1 Dec 1988

Access to Document

10.1109/ICC.1988.13544

Cite this

@conference{db954bc3e6374e979244932dcfa73fe5,

title = "Formal model for protocol interworking in ISDN.",

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: concatenation and overlap.",

author = "Fuchun Lin and Liu, \{Ming T.\}",

year = "1988",

month = dec,

day = "1",

doi = "10.1109/ICC.1988.13544",

language = "English",

pages = "107--113",

}

TY - CONF

T1 - Formal model for protocol interworking in ISDN.

AU - Lin, Fuchun

AU - Liu, Ming T.

PY - 1988/12/1

Y1 - 1988/12/1

N2 - 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: concatenation and overlap.

AB - 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: concatenation and overlap.

UR - https://www.scopus.com/pages/publications/0024139511

U2 - 10.1109/ICC.1988.13544

DO - 10.1109/ICC.1988.13544

M3 - Paper

AN - SCOPUS:0024139511

SP - 107

EP - 113

ER -

Formal model for protocol interworking in ISDN.

Abstract

Access to Document

Other files and links

Fingerprint

Cite this