THE GEOMETRY OF SEMAPHORE PROGRAMS

被引：21

作者：

CARSON, SD ^{[1
]}

REYNOLDS, PF ^{[1
]}

机构：

[1] UNIV VIRGINIA,DEPT COMP SCI,CHARLOTTESVILLE,VA 22903

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1987年 / 9卷 / 01期

关键词：

CONCURRENT PROGRAMMING - SEMAPHORE PROGRAMS - STATIC DEADLOCK DETECTION;

D O I：

10.1145/9758.9759

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：25 / 53

页数：29

共 11 条

[1]

CARSON SD, 1984, THESIS U VIRGINIA CH

[2]

Clarke E. M. Jr., 1980, ACM Transactions on Programming Languages and Systems, V2, P338, DOI 10.1145/357103.357109

[3]

Coffman E. G., 1971, COMPUT SURV, V3, P67, DOI DOI 10.1145/356586.356588

[4]

Dijkstra E. W., 1968, Programming languages, P43

[5]

HABERMANN AN, 1975, PATH EXPRESSIONS

[6]

Holt R. C., 1972, Computing Surveys, V4, P179, DOI 10.1145/356603.356607

[7]

KELLER RM, 1977, GENERALIZED PETRI NE

LIPSKI, W ;

PAPADIMITRIOU, CH .

[9] VERIFYING PROPERTIES OF PARALLEL PROGRAMS - AXIOMATIC APPROACH [J].

OWICKI, S ;

GRIES, D .

[10] CONCURRENCY-CONTROL BY LOCKING [J].

PAPADIMITRIOU, CH .