Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases.

Nicolien J. Drost, Jan van Leeuwen

Browse the full CONCUR paper archive.