Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza. On reducing linearizability to state reachability. Inf. Comput., 261(Part):383-400, 2018. [doi]
@article{BouajjaniEEH18,
title = {On reducing linearizability to state reachability},
author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza},
year = {2018},
doi = {10.1016/j.ic.2018.02.014},
url = {https://doi.org/10.1016/j.ic.2018.02.014},
researchr = {https://researchr.org/publication/BouajjaniEEH18},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {261},
number = {Part},
pages = {383-400},
}