A FAST MUTUAL EXCLUSION ALGORITHM

被引：233

作者：

LAMPORT, L

机构：

来源：

ACM TRANSACTIONS ON COMPUTER SYSTEMS | 1987年 / 5卷 / 01期

关键词：

D O I：

10.1145/7351.7352

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 11

页数：11

共 9 条

[1]

DEBRUIJN NG, 1967, COMMUN ACM, V8, P137

[2] SOLUTION OF A PROBLEM IN CONCURRENT PROGRAMMING CONTROL [J].

DIJKSTRA, EW .

EISENBERG, MA ;

MCGUIRE, MR .

[4]

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

[5]

JONES AK, 1980, ACM COMPUT SURV, V12, P121

KNUTH, DE .

[7] PROVING CORRECTNESS OF MULTI-PROCESS PROGRAMS [J].

LAMPORT, L .

[8] PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS [J].

OWICKI, S ;

LAMPORT, L .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03) :455-495

[9] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1. [J].

OWICKI, S ;

GRIES, D .