Improved Time Bounds for Linearizable Implementations of Abstract Data Types | IEEE Conference Publication | IEEE Xplore