THE MUTUAL EXCLUSION PROBLEM .2. STATEMENT AND SOLUTIONS

被引：97

作者：

LAMPORT, L

机构：

来源：

关键词：

D O I：

10.1145/5383.5385

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：327 / 348

页数：22

共 21 条

[1]

BURNS J, 1978, ACM SIGACT NEWS SUM, P42

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

DIJKSTRA, EW .

[3] SELF-STABILIZING SYSTEMS IN SPITE OF DISTRIBUTED CONTROL [J].

DIJKSTRA, EW .

[4]

Fischer M. J., 1979, 20th Annual Symposium of Foundations of Computer Science, P234, DOI 10.1109/SFCS.1979.37

[5]

Hansen P. B., 1973, Computing Surveys, V5, P223, DOI 10.1145/356622.356624

[6]

KATSEFF HP, 1978, 10TH P ANN ACM S THE, P86

KNUTH, DE .

LAMPORT, L .

[9] IMPLEMENTATION OF RELIABLE DISTRIBUTED MULTIPROCESS SYSTEMS [J].

LAMPORT, L .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (02) :95-114

[10] THE HOARE LOGIC OF CONCURRENT PROGRAMS [J].

LAMPORT, L .