{"id":"https://openalex.org/W3120739902","doi":"https://doi.org/10.1142/s0129054121500015","title":"Strict Linearizability and Abstract Atomicity","display_name":"Strict Linearizability and Abstract Atomicity","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3120739902","doi":"https://doi.org/10.1142/s0129054121500015","mag":"3120739902"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054121500015","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054121500015","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052745028","display_name":"Tangliu Wen","orcid":"https://orcid.org/0000-0003-2910-2214"},"institutions":[{"id":"https://openalex.org/I4510145","display_name":"Jiangxi University of Science and Technology","ror":"https://ror.org/03q0t9252","country_code":"CN","type":"education","lineage":["https://openalex.org/I4510145"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Tangliu Wen","raw_affiliation_strings":["College of Applied Science, Jiangxi University of Science and Technology, Ganzhou, P. R. China"],"raw_orcid":"https://orcid.org/0000-0003-2910-2214","affiliations":[{"raw_affiliation_string":"College of Applied Science, Jiangxi University of Science and Technology, Ganzhou, P. R. China","institution_ids":["https://openalex.org/I4510145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010740814","display_name":"Jie Peng","orcid":"https://orcid.org/0000-0002-6533-8737"},"institutions":[{"id":"https://openalex.org/I4510145","display_name":"Jiangxi University of Science and Technology","ror":"https://ror.org/03q0t9252","country_code":"CN","type":"education","lineage":["https://openalex.org/I4510145"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Peng","raw_affiliation_strings":["College of Applied Science, Jiangxi University of Science and Technology, Ganzhou, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Applied Science, Jiangxi University of Science and Technology, Ganzhou, P. R. China","institution_ids":["https://openalex.org/I4510145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100763215","display_name":"Jinyun Xue","orcid":"https://orcid.org/0000-0003-1584-9712"},"institutions":[{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinyun Xue","raw_affiliation_strings":["State International S&T Cooperation Base of Networked Supporting, Jiangxi Normal University, Nanchang, 330022, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State International S&T Cooperation Base of Networked Supporting, Jiangxi Normal University, Nanchang, 330022, P. R. China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100631751","display_name":"Zhen You","orcid":"https://orcid.org/0000-0003-0504-3942"},"institutions":[{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen You","raw_affiliation_strings":["State International S&T Cooperation Base of Networked Supporting, Jiangxi Normal University, Nanchang, 330022, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State International S&T Cooperation Base of Networked Supporting, Jiangxi Normal University, Nanchang, 330022, P. R. China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109378992","display_name":"Lan Song","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lan Song","raw_affiliation_strings":["State Key Laboratory of Software Engineering, School of Computer Science, Wuhan University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, School of Computer Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5052745028"],"corresponding_institution_ids":["https://openalex.org/I4510145"],"apc_list":null,"apc_paid":null,"fwci":0.3204,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58238934,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"32","issue":"01","first_page":"1","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9811999797821045,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.980400025844574,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/linearizability","display_name":"Linearizability","score":0.9795076847076416},{"id":"https://openalex.org/keywords/observational-equivalence","display_name":"Observational equivalence","score":0.8163213133811951},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.7333588004112244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7292841076850891},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6670589447021484},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.42535439133644104},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4188717007637024},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39700132608413696},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39202040433883667},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07400384545326233}],"concepts":[{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.9795076847076416},{"id":"https://openalex.org/C2777721189","wikidata":"https://www.wikidata.org/wiki/Q17121921","display_name":"Observational equivalence","level":2,"score":0.8163213133811951},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.7333588004112244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7292841076850891},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6670589447021484},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.42535439133644104},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4188717007637024},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39700132608413696},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39202040433883667},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07400384545326233},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054121500015","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054121500015","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8485410256","display_name":null,"funder_award_id":"61462041","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1543180701","https://openalex.org/W1818449680","https://openalex.org/W2023304911","https://openalex.org/W2045689965","https://openalex.org/W2048605787","https://openalex.org/W2054739713","https://openalex.org/W2072062729","https://openalex.org/W2089064888","https://openalex.org/W2101939036","https://openalex.org/W2125398300","https://openalex.org/W2139533136","https://openalex.org/W2165422215","https://openalex.org/W2341655714","https://openalex.org/W3023216518","https://openalex.org/W4233497262","https://openalex.org/W4241333267"],"related_works":["https://openalex.org/W3048397483","https://openalex.org/W4302368459","https://openalex.org/W2950415228","https://openalex.org/W2809225575","https://openalex.org/W27825682","https://openalex.org/W2059519811","https://openalex.org/W2115031960","https://openalex.org/W3120739902","https://openalex.org/W2912336518","https://openalex.org/W2890803313"],"abstract_inverted_index":{"Linearizability":[0],"is":[1,16,149],"a":[2,48,88,113,118,125,137],"commonly":[3],"accepted":[4],"consistency":[5],"condition":[6],"for":[7,140],"concurrent":[8,26,101,119,126,146],"objects.":[9,102],"Filipovi\u0107":[10],"et":[11],"al.":[12],"show":[13,37],"that":[14,38],"linearizability":[15,22,39,73,153],"equivalent":[17],"to":[18,28,94],"observational":[19,41,160],"refinement.":[20],"However,":[21],"does":[23],"not":[24],"permit":[25],"objects":[27],"share":[29],"memory":[30,57],"spaces":[31,58],"with":[32,61,167],"their":[33],"client":[34,49],"programs.":[35],"We":[36,103,134,162],"(or":[40],"refinement)":[42],"can":[43,79,121,158],"be":[44,122],"broken":[45],"even":[46,86],"though":[47],"program":[50,90],"of":[51,64,100,109,116,128,152],"an":[52,129,142],"object":[53,120],"accesses":[54],"the":[55,62,65,97,150],"shared":[56],"without":[59],"interleaving":[60],"methods":[63],"object.":[66],"In":[67],"this":[68,76],"paper,":[69],"we":[70],"present":[71,136],"strict":[72,110,168],"which":[74,148],"lifts":[75],"limitation":[77],"and":[78,83,144,154,157],"ensure":[80,159],"client-side":[81],"traces":[82],"final-states":[84],"equivalence":[85],"in":[87],"relaxed":[89],"model":[91],"allowing":[92],"clients":[93],"directly":[95],"access":[96],"internal":[98],"states":[99],"also":[104,135,163],"investigate":[105,164],"several":[106],"important":[107],"properties":[108],"linearizability.":[111,169],"At":[112],"high":[114],"level":[115],"abstraction,":[117],"viewed":[123],"as":[124],"implementation":[127],"abstract":[130],"data":[131,155],"type":[132],"(ADT).":[133],"correctness":[138],"criterion":[139],"relating":[141],"ADT":[143],"its":[145,165],"implementation,":[147],"combination":[151],"abstraction":[156],"equivalence.":[161],"relationship":[166]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}