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

^*此作品的通信作者

網路工程研究所

研究成果: Paper › 同行評審

8 引文斯高帕斯（Scopus）

摘要

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.

原文	English
頁面	107-113
頁數	7
DOIs	https://doi.org/10.1109/ICC.1988.13544
出版狀態	Published - 1 12月 1988

存取文件

10.1109/ICC.1988.13544

其它文件與鏈接

Link to publication in Scopus

引用此

@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 - http://www.scopus.com/inward/record.url?scp=0024139511&partnerID=8YFLogxK

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.

摘要

存取文件

其它文件與鏈接

指紋

引用此