FORMAL VERIFICATION OF PARALLEL PROGRAMS

被引：381

作者：

KELLER, RM ^{[1
]}

机构：

[1] PRINCETON UNIV,DEPT ELECT ENGN & COMP SCI,PRINCETON,NJ 08540

来源：

关键词：

D O I：

10.1145/360248.360251

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：371 / 384

页数：14

共 21 条

[1] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS [J].

ASHCROFT, EA .

[2]

ASHCROFT EA, 1970, MACH INTELL, V6, P17

[3]

BRINCHHANSEN P, 1972, ACTA INFORMATION, V1, P190

[4]

Conway M. E., 1963, AFIPS P, V24, P139, DOI [10.1145/1463822.1463838, DOI 10.1145/1463822.1463838]

[5] CONCURRENT CONTROL WITH READERS AND WRITERS [J].

COURTOIS, PJ ;

HEYMANS, F ;

PARNAS, DL .

[6]

Dijkstra E., 1971, ACTA INFORM, V1, P115, DOI DOI 10.1007/BF00289519

[7]

Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[8] PREVENTION OF SYSTEM DEADLOCKS [J].

HABERMANN, AN .

[9]

HABERMANN AN, 1972, COMMUN ACM, V15, P177

[10]

HOARE CAR, 1972, OPERATING SYSTEMS TE, P61