PROTOCOL VALIDATION BY DUOLOGUE-MATRIX ANALYSIS

被引:23
作者
ZAFIROPULO, P
机构
关键词
D O I
10.1109/TCOM.1978.1094227
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
引用
收藏
页码:1187 / 1194
页数:8
相关论文
共 8 条
[1]  
BERGE C, 1962, THEORY GRAPHS ITS AP, pCH14
[2]  
BOCHMANN GV, 1975, MAR P ACM SIGCOMM SI, P45
[3]  
HOFFMANN HJ, 1970, MAY P INT COMP S BON, P422
[4]  
LEMOLI G, 1973, 1ST EUR WORKSH COMP, P153
[5]   RECURSIVE FUNCTIONS OF SYMBOLIC EXPRESSIONS AND THEIR COMPUTATION BY MACHINE, .1. [J].
MCCARTHY, J .
COMMUNICATIONS OF THE ACM, 1960, 3 (04) :184-195
[6]   METHODOLOGY FOR DESIGN AND IMPLEMENTATION OF COMMUNICATION PROTOCOLS [J].
MERLIN, PM .
IEEE TRANSACTIONS ON COMMUNICATIONS, 1976, 24 (06) :614-621
[7]  
WEST C, 1977, 1977 C REC ICC CHIC, V2
[8]  
ZAFIROPULO P, 1977 C REC ICC CHIC, V2