1. Testing for linearizability. (20th December 2016) Authors: Lowe, Gavin Journal: Concurrency and computation Issue: Volume 29:Number 4(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗