DEADLOCK DETECTION FOR A CLASS OF COMMUNICATING FINITE STATE MACHINES

被引：22

作者：

YU, YT

GOUDA, MG

机构：

来源：

IEEE TRANSACTIONS ON COMMUNICATIONS | 1982年 / 30卷 / 12期

关键词：

D O I：

10.1109/TCOM.1982.1095450

中图分类号：

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

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：2514 / 2518

页数：5

相关论文

共 13 条

[11] AUTOMATED TECHNIQUE OF COMMUNICATIONS PROTOCOL VALIDATION [J].

WEST, CH .

IEEE TRANSACTIONS ON COMMUNICATIONS, 1978, 26 (08) :1271-1275

[12]

YU YT, THESIS U TEXAS AUSTI

[13] TOWARDS ANALYZING AND SYNTHESIZING PROTOCOLS [J].

ZAFIROPULO, P ;

WEST, CH ;

RUDIN, H ;

COWAN, DD ;

BRAND, D .

IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (04) :651-661