PROVING MONITORS

被引：25

作者：

HOWARD, JH ^{[1
]}

机构：

[1] UNIV TEXAS,AUSTIN,TX 78705

来源：

关键词：

D O I：

10.1145/360051.360079

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：273 / 279

页数：7

共 18 条

[1] ALEXANDER WP, 1974, THESIS U TEXAS
[2] Brinch-Hansen P., 1973, OPERATING SYSTEM PRI
[3] Clint M., 1973, Acta Informatica, V2, P50, DOI 10.1007/BF00571463
[4] DIJKSTRA EW, 1972, OPERATING SYSTEMS TE, P72
[5] HABERMANN AN, 1971, 3RD S OP SYST PRINC, P80
[6] Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507
[7] HOARE CAR, 1975, COMMUN ACM, V18, P95
[8] MONITORS - OPERATING SYSTEM STRUCTURING CONCEPT
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1974, 17 (10) : 549 - 557
[9] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &
[10] HOARE CAR, 1969, COMMUN ACM, V12, P583