{"id":"https://openalex.org/W3018022726","doi":"https://doi.org/10.1007/s00446-021-00414-6","title":"Strong eventual consistency of the collaborative editing framework WOOT","display_name":"Strong eventual consistency of the collaborative editing framework WOOT","publication_year":2022,"publication_date":"2022-01-04","ids":{"openalex":"https://openalex.org/W3018022726","doi":"https://doi.org/10.1007/s00446-021-00414-6","mag":"3018022726"},"language":"en","primary_location":{"id":"doi:10.1007/s00446-021-00414-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-021-00414-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-021-00414-6.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00446-021-00414-6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005758726","display_name":"Emin Karayel","orcid":"https://orcid.org/0000-0003-3290-5034"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Emin Karayel","raw_affiliation_strings":["Google, Mountain View, USA"],"raw_orcid":"https://orcid.org/0000-0003-3290-5034","affiliations":[{"raw_affiliation_string":"Google, Mountain View, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046906814","display_name":"Edgar Gonz\u00e0lez","orcid":"https://orcid.org/0000-0002-9169-0769"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edgar Gonz\u00e0lez","raw_affiliation_strings":["Google, Mountain View, USA"],"raw_orcid":"https://orcid.org/0000-0002-9169-0769","affiliations":[{"raw_affiliation_string":"Google, Mountain View, USA","institution_ids":["https://openalex.org/I1291425158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005758726"],"corresponding_institution_ids":["https://openalex.org/I1291425158"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":{"value":2490,"currency":"EUR","value_usd":3090},"fwci":0.6372,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.71338116,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"35","issue":"2","first_page":"145","last_page":"164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9958000183105469,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.7876338362693787},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7776851058006287},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7369709014892578},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.584769606590271},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5022318363189697},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.49813222885131836},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4837817847728729},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.46561622619628906},{"id":"https://openalex.org/keywords/hol","display_name":"HOL","score":0.4501863420009613},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.4339447021484375},{"id":"https://openalex.org/keywords/computer-supported-cooperative-work","display_name":"Computer-supported cooperative work","score":0.43301916122436523},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39880287647247314},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.25464126467704773},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.1364154815673828},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1139766275882721},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11255019903182983}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7876338362693787},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7776851058006287},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7369709014892578},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.584769606590271},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5022318363189697},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.49813222885131836},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4837817847728729},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.46561622619628906},{"id":"https://openalex.org/C17435882","wikidata":"https://www.wikidata.org/wiki/Q17030435","display_name":"HOL","level":2,"score":0.4501863420009613},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.4339447021484375},{"id":"https://openalex.org/C198439703","wikidata":"https://www.wikidata.org/wiki/Q1461602","display_name":"Computer-supported cooperative work","level":3,"score":0.43301916122436523},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39880287647247314},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.25464126467704773},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.1364154815673828},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1139766275882721},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11255019903182983},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00446-021-00414-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-021-00414-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-021-00414-6.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00446-021-00414-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-021-00414-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-021-00414-6.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3018022726.pdf","grobid_xml":"https://content.openalex.org/works/W3018022726.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W155189069","https://openalex.org/W564832898","https://openalex.org/W1516319412","https://openalex.org/W1971443766","https://openalex.org/W1985225835","https://openalex.org/W2012370087","https://openalex.org/W2071968957","https://openalex.org/W2076088000","https://openalex.org/W2090828855","https://openalex.org/W2118242633","https://openalex.org/W2134308710","https://openalex.org/W2145220267","https://openalex.org/W2151541805","https://openalex.org/W2170849273","https://openalex.org/W2334809331","https://openalex.org/W2548072145","https://openalex.org/W2727092525","https://openalex.org/W2954660873","https://openalex.org/W3137220996","https://openalex.org/W4250846042"],"related_works":["https://openalex.org/W4301894417","https://openalex.org/W2901980169","https://openalex.org/W2949587676","https://openalex.org/W3010022189","https://openalex.org/W4292345996","https://openalex.org/W2343489657","https://openalex.org/W2949499328","https://openalex.org/W2144153901","https://openalex.org/W2971748376","https://openalex.org/W2805810362"],"abstract_inverted_index":{"Abstract":[0],"Commutative":[1],"Replicated":[2],"Data":[3],"Types":[4],"(CRDTs)":[5],"are":[6],"a":[7,67,99,103],"promising":[8],"new":[9],"class":[10],"of":[11,75],"data":[12],"structures":[13],"for":[14,36,66,90,94],"large-scale":[15],"shared":[16],"mutable":[17],"content":[18],"in":[19],"applications":[20],"that":[21,109],"only":[22,65],"require":[23],"eventual":[24,60],"consistency.":[25,117],"The":[26],"WithOut":[27],"Operational":[28],"Transforms":[29],"(WOOT)":[30],"framework":[31,113],"is":[32],"the":[33,73,88,111,120,123],"first":[34],"CRDT":[35],"collaborative":[37],"text":[38],"editing":[39],"introduced":[40],"by":[41],"Oster":[42],"et":[43],"al.":[44],"(In:":[45],"Conference":[46],"on":[47],"Computer":[48],"Supported":[49],"Cooperative":[50],"Work":[51],"(CSCW).":[52],"ACM,":[53],"New":[54],"York,":[55],"pp":[56],"259\u2013268,":[57],"2006a).":[58],"Its":[59],"consistency":[61,74],"property":[62,89],"was":[63],"verified":[64],"bounded":[68],"model":[69],"to":[70,114,127],"date.":[71],"While":[72],"many":[76],"other":[77],"previously":[78,104],"published":[79],"CRDTs":[80],"had":[81],"been":[82],"shown":[83],"immediately":[84],"with":[85],"their":[86],"publication,":[87],"WOOT":[91,112],"remained":[92],"open":[93],"14":[95],"years.":[96],"We":[97,118],"use":[98],"novel":[100],"approach":[101],"identifying":[102],"unknown":[105],"sort-key":[106],"based":[107],"protocol":[108],"simulates":[110],"show":[115],"its":[116,129],"formalize":[119],"proof":[121,125],"using":[122],"Isabelle/HOL":[124],"assistant":[126],"machine-check":[128],"correctness.":[130]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}