MODELING CONCURRENCY WITH PARTIAL ORDERS

被引：333

作者：

PRATT, V ^{[1
]}

机构：

[1] STANFORD UNIV,STANFORD,CA 94305

来源：

关键词：

D O I：

10.1007/BF01379149

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：33 / 71

页数：39

相关论文

共 25 条

[1]

BARNEY C, 1985, ELECTRONICS, V58, P42

[2]

BEST E, 1985, FMD104 GMD SANKT AUG

[3]

BROCK JD, 1981, SPRINGERVERLAG LNCS, V107, P252

[4]

DENVIR T, 1985, LNCS, V207

[5]

Gabbay D., 1980, POPL 80 PROC 7 ACM S, P163, DOI [10.1145/567446.567462, DOI 10.1145/567446.567462]

[6]

GISCHER JL, 1984, THESIS STANFORD U

[7]

GREIF I, 1975, MAC TR154 MIT REP

[8]

Kahn G., 1977, INFORMATION PROCESSI, P993

[9]

KAHN G, 1974, IFIP 74

[10]

LAMPORT L, 1985, DEC8 SYST RES CTR RE