Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types (1989)

by W WEIHL
Venue:ACM Transactions on Programming Languages and Systems