Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases
Publication date
1988
Authors
Drost, M.R.
van Leeuwen, J.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Ordered by external client
Citation
Drost, M R & van Leeuwen, J 1988, Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases. vol. 88-13, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-88-13.html >