Nicolien J. Drost

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991

2 Nicolien J. Drost: Algebraic Formulations of Trace Theory. CONCUR 1991: 157-171

1988

1 Nicolien J. Drost, Jan van Leeuwen: Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. Concurrency 1988: 320-334

1991
2		Nicolien J. Drost: Algebraic Formulations of Trace Theory. CONCUR 1991: 157-171
1988
1		Nicolien J. Drost, Jan van Leeuwen: Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. Concurrency 1988: 320-334

Coauthor Index

1 Jan van Leeuwen [1]