ASSERTIONAL VERIFICATION OF A MAJORITY CONSENSUS ALGORITHM FOR CONCURRENCY-CONTROL IN MULTIPLE COPY DATABASES

被引：0

作者：

DROST, NJ ^{[1
]}

VANLEEUWEN, J ^{[1
]}

机构：

[1] UNIV UTRECHT, DEPT COMP SCI, 3508 TB UTRECHT, NETHERLANDS

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：320 / 334

页数：15

共 11 条

[1]

Ceri S., 1985, DISTRIBUTED DATABASE

[2]

DROST NJ, 1988, RUUCS8853 U UTR DEP

[3]

DROST NJ, 1988, RUUCS8813 U UTR DEP

[4]

JONSSON B, 1987, 6TH P ANN ACM S PRIN, P152

[5] VERIFICATION OF LINK-LEVEL PROTOCOLS [J].

KNUTH, DE .

BIT, 1981, 21 (01) :31-36

[6]

Krogdahl S., 1978, BIT (Nordisk Tidskrift for Informationsbehandling), V18, P436, DOI 10.1007/BF01932022

[7]

LAMPORT L, 1983, SCI COMPUT PROGRAM, V2, P175

[8]

SCHOONE AA, 1985, RUUCS8512 U UTR DEP

[9]

SCHOONE AA, 1987, RUUCS8714 U UTR DEP

[10]

TEL G, 1987, RUUCS8715 U UTR DEP