Formal model for protocol interworking in ISDN.

Fuchun Lin*, Ming T. Liu

*Corresponding author for this work

Research output: Contribution to conferencePaperpeer-review

8 Scopus citations


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 languageEnglish
Number of pages7
StatePublished - 1 Dec 1988


Dive into the research topics of 'Formal model for protocol interworking in ISDN.'. Together they form a unique fingerprint.

Cite this