![]() | ![]() |
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 |
1 | Jan van Leeuwen | [1] |