Skip to main content

Testing for Linearizability

Gavin Lowe

Journal
Concurrency and Computation: Practice and Experience
Number
4
Volume
29
Year
2017