FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN

被引：96

作者：

VONBOCHMANN, G ^{[1
]}

SUNSHINE, CA ^{[1
]}

机构：

[1] UNIV SO CALIF MARINA DEL REY, INST INFORMAT SCI, MARINA DEL REY, CA 90221 USA

来源：

关键词：

D O I：

10.1109/TCOM.1980.1094685

中图分类号：

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

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：624 / 631

页数：8

共 58 条

[1]

[Anonymous], [No title captured]

[2]

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

[3]

BJORNER D, 1970, FAL JOINT COMP C AFI

[4] DEVELOPMENT AND STRUCTURE OF AN X.25 IMPLEMENTATION [J].

BOCHMANN, GV ;

JOACHIM, T .

[5]

BOCHMANN GV, 1979, FORMALIZED SPECIFICA

[6]

BOCHMANN GV, 1977, P IFIP C, P229

[7]

BOCHMANN GV, 1980, ADV DISTRIBUTED PROC

[8]

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

[9]

BOCHMANN GV, 1977, COMPUT COMMUN REV, V7, P53

[10]

BOCHMANN GV, 1977, DEC P NAT TEL C LOS