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

来源：

关键词：

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
BARTLETT, KA
SCANTLEBURY, RA
WILKINSON, PT
LYNCH, WC
[J]. 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
HANSEN, PB
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) : 194 - 199
[8] Hansen Per Brinch, 1973, OPERATING SYSTEM PRI
[9] MONITORS - OPERATING SYSTEM STRUCTURING CONCEPT
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1974, 17 (10) : 549 - 557
[10] PROVING MONITORS
HOWARD, JH
[J]. COMMUNICATIONS OF THE ACM, 1976, 19 (05) : 273 - 279