John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim. Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Asp. Comput., 33(4):547-573, 2021. [doi]
@article{DerrickDDSW21, title = {Verifying correctness of persistent concurrent data structures: a sound and complete method}, author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, year = {2021}, doi = {10.1007/s00165-021-00541-8}, url = {https://doi.org/10.1007/s00165-021-00541-8}, researchr = {https://researchr.org/publication/DerrickDDSW21}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {33}, number = {4}, pages = {547-573}, }