Decidability of linearizabilities for relaxed data structures
Crossref DOI link: https://doi.org/10.1007/s11432-016-9062-x
Published Online: 2017-09-01
Published Print: 2018-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wang, Chao
Lv, Yi
Wu, Peng
Text and Data Mining valid from 2017-09-01
Article History
Received: 21 November 2016
Revised: 6 February 2017
Accepted: 31 March 2017
First Online: 1 September 2017