{"id":"https://openalex.org/W2959051731","doi":"https://doi.org/10.1007/978-3-030-25543-5_19","title":"On the Complexity of Checking Consistency for Replicated Data Types","display_name":"On the Complexity of Checking Consistency for Replicated Data Types","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2959051731","doi":"https://doi.org/10.1007/978-3-030-25543-5_19","mag":"2959051731"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-25543-5_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-25543-5_19","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-25543-5_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-25543-5_19.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071876547","display_name":"Ranadeep Biswas","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ranadeep Biswas","raw_affiliation_strings":["Universit\u00e9 de Paris, IRIF, CNRS, 75013, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Paris, IRIF, CNRS, 75013, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061209906","display_name":"Michael Emmi","orcid":"https://orcid.org/0009-0002-6283-5890"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Emmi","raw_affiliation_strings":["SRI International, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, New York, NY, USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040528930","display_name":"Constantin Enea","orcid":"https://orcid.org/0000-0003-2727-8865"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Constantin Enea","raw_affiliation_strings":["Universit\u00e9 de Paris, IRIF, CNRS, 75013, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Paris, IRIF, CNRS, 75013, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071876547"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.4549,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.60074488,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"324","last_page":"343"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976999759674072,"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"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8342050313949585},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.7275731563568115},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6929971575737},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6690869927406311},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.6222661137580872},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5783286094665527},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.5540435314178467},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.49637824296951294},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.4525439739227295},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.4475550949573517},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44428128004074097},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.3977346420288086},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35087132453918457},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.34604042768478394},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2658795118331909},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14803552627563477},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09327957034111023},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08257481455802917}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8342050313949585},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.7275731563568115},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6929971575737},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6690869927406311},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.6222661137580872},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5783286094665527},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.5540435314178467},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.49637824296951294},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4525439739227295},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.4475550949573517},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44428128004074097},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.3977346420288086},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35087132453918457},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.34604042768478394},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2658795118331909},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14803552627563477},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09327957034111023},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08257481455802917},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-25543-5_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-25543-5_19","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-25543-5_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-25543-5_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-25543-5_19","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-25543-5_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6824709330","display_name":null,"funder_award_id":"678177","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2959051731.pdf","grobid_xml":"https://content.openalex.org/works/W2959051731.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W1516319412","https://openalex.org/W1532290188","https://openalex.org/W1595452620","https://openalex.org/W1840867815","https://openalex.org/W1965614349","https://openalex.org/W1967852324","https://openalex.org/W1986463648","https://openalex.org/W2011039300","https://openalex.org/W2012001501","https://openalex.org/W2020864277","https://openalex.org/W2023304911","https://openalex.org/W2031348459","https://openalex.org/W2046654145","https://openalex.org/W2053935034","https://openalex.org/W2054739713","https://openalex.org/W2091085450","https://openalex.org/W2101939036","https://openalex.org/W2107208179","https://openalex.org/W2111134484","https://openalex.org/W2117260615","https://openalex.org/W2125930899","https://openalex.org/W2130068507","https://openalex.org/W2134308710","https://openalex.org/W2143725230","https://openalex.org/W2145919405","https://openalex.org/W2149074552","https://openalex.org/W2160499017","https://openalex.org/W2160781056","https://openalex.org/W2165422215","https://openalex.org/W2546854465","https://openalex.org/W2563167692","https://openalex.org/W2672830324","https://openalex.org/W2780745892","https://openalex.org/W2795782844","https://openalex.org/W2884168360","https://openalex.org/W2899645750","https://openalex.org/W3137220996","https://openalex.org/W4252148547"],"related_works":["https://openalex.org/W2343489657","https://openalex.org/W2971748376","https://openalex.org/W4308856035","https://openalex.org/W3094813857","https://openalex.org/W2916847028","https://openalex.org/W2579205871","https://openalex.org/W3150250461","https://openalex.org/W2560551601","https://openalex.org/W2166510438","https://openalex.org/W2157257000"],"abstract_inverted_index":{"Recent":[0],"distributed":[1],"systems":[2],"have":[3],"introduced":[4],"variations":[5],"of":[6,37,58,71,147,159],"familiar":[7],"abstract":[8],"data":[9,28],"types":[10,29],"(ADTs)":[11],"like":[12],"counters,":[13,115],"registers,":[14,117],"flags,":[15,113],"and":[16,22,53,55,78,95,103,116,151,154,161],"sets,":[17,114],"that":[18,127],"provide":[19],"high":[20],"availability":[21,52],"partition":[23],"tolerance.":[24],"These":[25],"conflict-free":[26],"replicated":[27,41,112,121],"(CRDTs)":[30],"utilize":[31],"mechanisms":[32],"to":[33,40,50],"resolve":[34],"the":[35,69,145,157],"effects":[36],"concurrent":[38],"updates":[39],"data.":[42],"Naturally":[43],"these":[44],"objects":[45],"weaken":[46],"their":[47],"consistency":[48,60],"guarantees":[49,76],"achieve":[51],"partition-tolerance,":[54],"various":[56],"notions":[57],"weak":[59],"capture":[61,75],"those":[62],"guarantees.":[63],"In":[64,106],"this":[65],"work":[66],"we":[67,82,99,108,125],"study":[68],"tractability":[70,119,128],"CRDT-consistency":[72],"checking.":[73],"To":[74],"precisely,":[77],"facilitate":[79],"symbolic":[80],"reasoning,":[81],"propose":[83],"novel":[84,89,96],"logical":[85],"characterizations.":[86],"By":[87],"developing":[88],"reductions":[90],"from":[91],"propositional":[92],"satisfiability":[93],"problems,":[94],"consistency-checking":[97],"algorithms,":[98],"discover":[100],"both":[101],"positive":[102],"negative":[104],"results.":[105],"particular,":[107],"show":[109],"intractability":[110],"for":[111,120,132,142,152],"yet":[118],"growable":[122],"arrays.":[123],"Furthermore,":[124],"demonstrate":[126],"can":[129],"be":[130],"redeemed":[131],"registers":[133],"when":[134,144,156],"each":[135],"value":[136],"is":[137,149,163],"written":[138],"at":[139],"most":[140],"once,":[141],"counters":[143],"number":[146,158],"replicas":[148,160],"fixed,":[150],"sets":[153],"flags":[155],"variables":[162],"fixed.":[164]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-23T08:51:43.019350","created_date":"2025-10-10T00:00:00"}