PROTOCOL REPRESENTATION WITH FINITE-STATE MODELS

被引：39

作者：

DANTHINE, AAS

机构：

来源：

关键词：

D O I：

10.1109/TCOM.1980.1094686

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：632 / 643

页数：12

共 46 条

[1]

BJORNER D, 1970, NOV AFIPS P FALL JOI, V37, P477

[2]

BOCHMANN GV, 1977, P IFIP C, P229

[3]

BOCHMANN GV, 1978, FEB P COMP NETW PROT

[4]

BOCHMANN GV, 1977, DEC P NAT TEL C LOS

[5]

BOCHMANN GV, 1975, 4TH P DAT COMM S QUE

[6] VERIFICATION OF PROTOCOLS USING SYMBOLIC EXECUTION [J].

BRAND, D ;

JOYNER, WH .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :351-360

[7]

BRAND D, 1978, FEB P COMP NETW PROT

[8]

CHEN RC, 1975, P ASS COMPUT MACH SI

[9] MODELING AND VERIFICATION OF END-TO-END TRANSPORT PROTOCOLS [J].

DANTHINE, A ;

BREMER, J .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :381-395

[10]

DANTHINE A, 1977, OCT P COMP NETW TEL, V2, P663