TOWARDS ANALYZING AND SYNTHESIZING PROTOCOLS

被引：116

作者：

ZAFIROPULO, P

WEST, CH

RUDIN, H

COWAN, DD

BRAND, D

机构：

来源：

关键词：

D O I：

10.1109/TCOM.1980.1094687

中图分类号：

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

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：651 / 661

页数：11

共 29 条

[1]

BARTLETT KA, 1969, COMMUN ASS COMPUT MA, V12, P2260

[2]

BELSNES D, 1977, COMPUT COMMUN REV, V7, P41

[3]

BOCHMANN GV, 1978, FEB P COMP NETW PROT

[4]

COWAN D, UNPUBLISHED

[5]

COWAN DD, 1978, 3RD P JER C INF TECH

[6]

DANTHINE A, 1978, FEB P COMP NETW PROT

[7]

DANTHINE A, 1978, COMPUT NETWORKS, V2

[8] PROTOCOL REPRESENTATION WITH FINITE-STATE MODELS [J].

DANTHINE, AAS .

[9]

HAJEK J, 1978, SEP P INT C COMP COM, P749

[10]

HAJEK J, 1979, ACM SIGCOMM COMPUT C, V9