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

by W Weihl
Venue:ACM Trans. Prog. Lang. Syst