Local atomicity properties: Modular concurrency control for abstract data types (1989)

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