Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report RUU-CS-88-13

select other reports

report

techrep_id file title / author
RUU-CS-88-13 pdf Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases
N.J. Drost and J. van Leeuwen

indexed authors

author group
Leeuwen, prof. dr. (em.) J. van all reports Algorithmic Systems all reports

BibTeX entry

@TECHREPORT{RUUCS8813,
author = {Drost, N.J. and Leeuwen, J.~van},
year = 1988,
title = {Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases},
number = {RUU-CS-88-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-13.pdf}},
pubcat = {techreport}
}