Testing for linearizability

Gavin Lowe. Testing for linearizability. Concurrency - Practice and Experience, 29(4), 2017. [doi]

@article{Lowe17-0,
  title = {Testing for linearizability},
  author = {Gavin Lowe},
  year = {2017},
  doi = {10.1002/cpe.3928},
  url = {http://dx.doi.org/10.1002/cpe.3928},
  researchr = {https://researchr.org/publication/Lowe17-0},
  cites = {0},
  citedby = {0},
  journal = {Concurrency - Practice and Experience},
  volume = {29},
  number = {4},
}