ON INTERPROCESS COMMUNICATION .1. BASIC FORMALISM

被引：459

作者：

LAMPORT, L ^{[1
]}

机构：

[1] SRI INT,COMP SCI LAB,MENLO PK,CA 94025

来源：

关键词：

CONCURRENT READING AND WRITING - INTERPROCESS COMMUNICATION - NONATOMIC OPERATIONS - SHARED DATA;

D O I：

10.1007/BF01786227

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：77 / 85

页数：9

共 13 条

[1]

BERNSTEIN PA, 1981, ACM COMPUT SURV, V13, P185

[2]

BRAUER W, 1980, LECT NOTES COMPUT SC, V84

[3]

Lamport L., 1979, ACM Transactions on Programming Languages and Systems, V1, P84, DOI 10.1145/357062.357068

[4] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

[5]

Lamport L., 1985, INTERPROCESS COMMUNI

[6]

LAMPORT L, J ACM

[7]

LAMPORT L, 1985, 12TH P ACM S PRINC P

[8]

LAMPORT L, DISTRIBUTED COMPUTIN, V1, P85

[9]

LAUER PE, 1979, COSY TR143 U NEWC TY

[10]

MAZURKIEWICZ A, 1984, 8419 U LEID I APPL M