1. Proving Linearizability Using Reduction. (17th November 2018) Authors: Wen, Tangliu; Song, Lan; You, Zhen Editors: Rosaci, Domenico Journal: Computer journal Issue: Volume 62:Number 9(2019) Page Start: 1342 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗