MODULAR VERIFICATION OF COMPUTER-COMMUNICATION PROTOCOLS

被引：54

作者：

HAILPERN, BT

OWICKI, SS

机构：

[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305

[2] STANFORD UNIV,COMP SCI LAB,STANFORD,CA 94305

来源：

IEEE TRANSACTIONS ON COMMUNICATIONS | 1983年 / 31卷 / 01期

关键词：

D O I：

10.1109/TCOM.1983.1095720

中图分类号：

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

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：56 / 68

页数：13

共 21 条

[1] A NOTE ON RELIABLE FULL-DUPLEX TRANSMISSION OVER HALF-DUPLEX LINLS [J].

BARTLETT, KA ;

SCANTLEBURY, RA ;

WILKINSON, PT ;

LYNCH, WC .

COMMUNICATIONS OF THE ACM, 1969, 12 (05) :260-+

[2]

BOCHMANN GV, 1977, P IFIP C, P229

[3]

Gabbay D., 1980, POPL 80 PROC 7 ACM S, P163, DOI [10.1145/567446.567462, DOI 10.1145/567446.567462]

[4]

GOOD DI, 1979, 6TH P ACM S PRINC PR, P42

[5]

HAILPERN B, 1982, LECTURE NOTES COMPUT, V129

[6]

HAILPERN BT, 1980, THESIS STANFORD U ST

[7] NETWORK - MULTIPROCESSOR PROGRAM [J].

HANSEN, PB .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) :194-199

[8]

Hansen Per Brinch, 1973, OPERATING SYSTEM PRI

[9] MONITORS - OPERATING SYSTEM STRUCTURING CONCEPT [J].

HOARE, CAR .

COMMUNICATIONS OF THE ACM, 1974, 17 (10) :549-557

[10] PROVING MONITORS [J].

HOWARD, JH .

COMMUNICATIONS OF THE ACM, 1976, 19 (05) :273-279

← 1 2 3 →