A FORMAL MODEL OF ATOMICITY IN ASYNCHRONOUS SYSTEMS

被引：38

作者：

BEST, E

RANDELL, B

机构：

来源：

ACTA INFORMATICA | 1981年 / 16卷 / 01期

关键词：

D O I：

10.1007/BF00289593

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：93 / 124

页数：32

共 21 条

[1]

Barwise J., 1977, HDB MATH LOGIC

[2]

BEST E, 1980, LECTURE NOTES COMPUT, V88

[3] ON-FLY GARBAGE COLLECTION - EXERCISE IN COOPERATION [J].

DIJKSTRA, EW ;

LAMPORT, L ;

MARTIN, AJ ;

SCHOLTEN, CS ;

STEFFENS, EFM .

COMMUNICATIONS OF THE ACM, 1978, 21 (11) :966-975

[4]

DIJKSTRA EW, 1978, P KONINKLIJKE NEDERL, V81

[5] NOTIONS OF CONSISTENCY AND PREDICATE LOCKS IN A DATABASE SYSTEM [J].

ESWARAN, KP ;

GRAY, JN ;

LORIE, RA ;

TRAIGER, IL .

COMMUNICATIONS OF THE ACM, 1976, 19 (11) :624-633

[6]

FLOYD RW, 1967, APPLIED MATH, V19

[7]

Genrich H.J., 1980, ADV COURSE NET THEOR, V84, P519, DOI [10.1007/3-540-10001-6_39, DOI 10.1007/3-540-10001-6_39]

[8]

Gray J, 1978, LECTURE NOTES COMPUT, P394

[9]

HOLT AW, 1968, ADR5606 APPL DAT RES

[10]

LAMPSON BW, CACM

← 1 2 3 →