{"id":"https://openalex.org/W2885798808","doi":"https://doi.org/10.1145/3212734.3212778","title":"Brief Announcement","display_name":"Brief Announcement","publication_year":2018,"publication_date":"2018-07-23","ids":{"openalex":"https://openalex.org/W2885798808","doi":"https://doi.org/10.1145/3212734.3212778","mag":"2885798808"},"language":"en","primary_location":{"id":"doi:10.1145/3212734.3212778","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3212734.3212778","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-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/A5071661810","display_name":"Hengfeng Wei","orcid":"https://orcid.org/0000-0002-0427-9710"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hengfeng Wei","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102718047","display_name":"Yu Huang","orcid":"https://orcid.org/0000-0001-8921-036X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Huang","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037645622","display_name":"Jian L\u00fc","orcid":"https://orcid.org/0000-0002-7025-7448"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Lu","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071661810"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0979828,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"83"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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":0.9998000264167786,"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/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.9965000152587891,"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/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"}}],"keywords":[{"id":"https://openalex.org/keywords/replica","display_name":"Replica","score":0.6907224655151367},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.649213433265686},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6306797862052917},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5144215226173401},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.483893483877182},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4745759963989258},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4595637917518616},{"id":"https://openalex.org/keywords/jupiter","display_name":"Jupiter (rocket family)","score":0.45340436697006226},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.44418424367904663},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.43113061785697937},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4246750473976135},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.419163316488266},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35672128200531006},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3054312467575073},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23534566164016724},{"id":"https://openalex.org/keywords/spacecraft","display_name":"Spacecraft","score":0.14787247776985168},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12030774354934692},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1141582727432251},{"id":"https://openalex.org/keywords/astronomy","display_name":"Astronomy","score":0.08579793572425842}],"concepts":[{"id":"https://openalex.org/C2775937380","wikidata":"https://www.wikidata.org/wiki/Q1232589","display_name":"Replica","level":2,"score":0.6907224655151367},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.649213433265686},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6306797862052917},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5144215226173401},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.483893483877182},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4745759963989258},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4595637917518616},{"id":"https://openalex.org/C22268893","wikidata":"https://www.wikidata.org/wiki/Q1102176","display_name":"Jupiter (rocket family)","level":3,"score":0.45340436697006226},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.44418424367904663},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.43113061785697937},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4246750473976135},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.419163316488266},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35672128200531006},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3054312467575073},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23534566164016724},{"id":"https://openalex.org/C29829512","wikidata":"https://www.wikidata.org/wiki/Q40218","display_name":"Spacecraft","level":2,"score":0.14787247776985168},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12030774354934692},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1141582727432251},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.08579793572425842},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3212734.3212778","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3212734.3212778","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G1519022416","display_name":null,"funder_award_id":"61702253","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1969433651","https://openalex.org/W1989814541","https://openalex.org/W2143725230","https://openalex.org/W2506181100","https://openalex.org/W3137220996"],"related_works":["https://openalex.org/W3013979739","https://openalex.org/W2655578171","https://openalex.org/W2577913821","https://openalex.org/W2460131733","https://openalex.org/W2953070151","https://openalex.org/W4296976839","https://openalex.org/W2372946558","https://openalex.org/W3126044086","https://openalex.org/W4394646256","https://openalex.org/W4236952075"],"abstract_inverted_index":{"The":[0,39],"replicated":[1,13,102],"list":[2,25,37,143],"object":[3],"is":[4,46],"frequently":[5],"used":[6],"to":[7,42],"model":[8],"the":[9,23,30,35,47,50,59,62,141,147],"core":[10],"functionality":[11],"of":[12,126],"collaborative":[14],"text":[15],"editing":[16],"systems.":[17],"Recently,":[18],"Attiya":[19],"et":[20],"al.":[21],"proposed":[22],"strong/weak":[24],"specification":[26,60],"and":[27,61,133,137],"conjectured":[28],"that":[29,131,138],"well-known":[31],"Jupiter":[32,69,134],"protocol":[33],"satisfies":[34,140],"weak":[36,142],"specification.":[38],"major":[40],"obstacle":[41],"proving":[43],"this":[44,82],"conjecture":[45,148],"mismatch":[48],"between":[49],"global":[51],"property":[52],"on":[53,90],"all":[54,124],"replica":[55,66],"states":[56,125],"prescribed":[57],"by":[58],"local":[63],"view":[64],"each":[65,127],"maintains":[67,113],"in":[68],"using":[70],"data":[71,93],"structures":[72],"like":[73],"1D":[74],"buffer":[75],"or":[76],"2D":[77],"state":[78,98,119],"space.":[79],"To":[80],"address":[81],"issue,":[83],"we":[84],"propose":[85],"CJupiter":[86,112,132,139],"(Compact":[87],"Jupiter)":[88],"based":[89],"a":[91,101,109,115],"novel":[92],"structure":[94],"called":[95],"n-ary":[96,117],"ordered":[97,118],"space":[99,120],"for":[100],"client/server":[103],"system":[104],"with":[105],"n":[106],"clients.":[107],"At":[108],"high":[110],"level,":[111],"only":[114],"single":[116],"which":[121],"encompasses":[122],"exactly":[123],"replica.":[128],"We":[129],"prove":[130],"are":[135],"equivalent":[136],"specification,":[144],"thus":[145],"solving":[146],"above.":[149]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2018-08-22T00:00:00"}