TY - SER AU - Weihl, Wililam TI - Commutativity-Based Concurrency Control for Abstract Data Types KW - Abstract Data Type KW - Dynamic Atomicity KW - Atomic Transactions ER -