Assertional verification of a majority consensus algorithm for concurrency control in multiple copy

• Authors:

• Nicolien J. Drost;J. van Leeuwen

• Affiliations:

• Univ. of Utrecht, The Netherlands;Univ. of Utrecht, The Netherlands

• Venue:
• International Conference on Concurrency on Concurrency 88
• Year:
• 1988