APPRAISING FAIRNESS IN LANGUAGES FOR DISTRIBUTED-PROGRAMMING

被引：83

作者：

APT, KR

FRANCEZ, N

KATZ, S

机构：

[1] CTR MATH & COMP SCI,1098 SJ AMSTERDAM,NETHERLANDS

[2] TECHNION ISRAEL INST TECHNOL,DEPT COMP SCI,HAIFA,ISRAEL

来源：

关键词：

D O I：

10.1007/BF01872848

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：226 / 241

页数：16

共 31 条

[1] PROOF RULES AND TRANSFORMATIONS DEALING WITH FAIRNESS [J].

APT, KR ;

OLDEROG, ER .

[2] 2 NORMAL-FORM THEOREMS FOR CSP PROGRAMS [J].

APT, KR ;

BOUGE, L ;

CLERMONT, P .

[3]

APT KR, 1987, 14TH P ACM POPL S MU

[4]

ATTIE P, 1988, FAIRNESS HYPERFAIRNE

[5]

BACK RJ, 1985, SERIALIZABILITY DIST, P85

[6]

BACK RJR, 1983, 2ND P ACM PODC S MON

[7]

BOUGE L, 1988, 15TH P ACM POPL S SA

[8]

DEGANO P, 1988, IN PRESS J COMP SYST

[9]

DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]

[10]

FORMAN I, 1986, OCT P INT C COMP LAN